Hi, On 08/15/2017 05:40 PM, Nicolas Boulenguez wrote: > 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 for cleaning up the ahven package! Please feel free to upload your patch set as NMU. Cheers - reto