On 2020/01/20 19:12, Hans-Christoph Steiner wrote:
If the android-tools maintainer doesn't respond, then yes, I suppose removing it is the right option. Its no longer maintained by the Android Tools team, I suppose we should correct that in the package.
Who is the android-tools maintainer then? If you do correct that in the packaging, please note #879282 as well.
