Run of lintian-fixes for gnat

Try this locally (using the lintian-brush package):

debcheckout gnat
cd gnat
lintian-brush

Merge these changes:

git pull https://janitor.debian.net/git/gnat lintian-fixes/main

Summary

Diff

Unable to retrieve diff; error 500

Full worker log