I have now raised a bug with Google / Android tools at https://issuetracker.google.com/issues/68131667 The Debian package maintainers suggested this was the bug tracker I should probably be using http://lists.alioth.debian.org/pipermail/android-tools-devel/2017q4/002864.html
I have now raised a bug with Google / Android tools at https:/ /issuetracker. google. com/issues/ 68131667 lists.alioth. debian. org/pipermail/ android- tools-devel/ 2017q4/ 002864. html
The Debian package maintainers suggested this was the bug tracker I should probably be using http://