Attachment #214792
remove dependency on expired gnatdroid-armv7, make NDK unconditional patch 2020-05-23 19:49:34 UTC 3.65 KB no flags Details