Bug#1010468: transition: gnat-11

[Nicolas Boulenguez]

Package: release.debian.org
Followup-For: Bug #1010468

Hello.
As far as I understand, the gnat-11 transition is complete and this
bug can be closed.