Package: gprbuild-doc Followup-For: Bug #768214 Control: tag -1 pending This issue is fixed in the version control system, but I intend to also work on the license problem described at https://lists.debian.org/debian-ada/2014/11/msg00000.html before uploading in order to limit the number of unblock requests.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

