reopen 497620 notfixed 497620 4.3.2-1 found 497620 4.3.2-1 thanks David Starner writes: > But he didn't even test the bug. It works fine with no options, but > with the options given in the bug report, -O2 -gnatN, it fails.
Sorry, I overlooked that. Reopening and tagging the bug appropriately. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
