Followup-For: Bug #870323 Control: tags 849985 + patch Control: tags 870323 + patch
Hello. Ahven should be updated for gnat-7 in order to close both bugs. The attached patch queue does this, among various suggestions (please ignore the previous one, it is included). Please consider updating the package or select changes that I may include in a Non-Maintainer Upload. Thanks.
ahven-patches.tar.gz
Description: application/gzip