I have committed a proposed change to gcc-base-version.diff as revision 7691. I will try to experiment with this and gnat-4.9 when I have time and will not upload before doko approves of this change.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
