reassign 623382 gnat 4.4+1 close 623382 gnat/4.4+1.1 thanks This bug was, in fact, in gnat rather than gnat-4.4. If has been fixed and closed for several months and I wonder why you followed up on this bug. Perhaps it is not properly marked as closed; I'm attempting to fix that.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org