I'd like to remove myself as maintainer of lang/gnatdroid-binutils and lang/gnatdroid-sysroot
I know how to create a PR for this, but think these ports should probably be deleted, as they are useless without the long deleted lang/gnatdroid-armv7 port. In addition, same applies to unmaintained lang/gnatdoid-binutils-x86 and lang/gnatdroid-sysroot-x86 since lang-gnatdroid-x86 was deleted. Does anyone want to sort out these 4 ports, or suggest a course fo action to raise in a PR? Thanks, Jamie
