[PRQ#61343] Deletion Request for android-sdk-build-tools-19.0.1

micwoj92 [1] filed a deletion request for android-sdk-build- tools-19.0.1 [2]: Old (10+ years) build tools for android, package is orphaned, has 0 comments and 0.000000 popularity. api level 19 is android 4.4 kitkat which came out in 2013. [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/android-sdk-build-tools-19.0.1/