Processed: gcc: submitted Debian report #166255 to gcc-gnats as PR ada/8606
Processing commands for control@bugs.debian.org:
> forwarded 166255 gcc-gnats@gcc.gnu.org
Bug#166255: GNAT floating point optimization bug
Noted your statement that Bug has been forwarded to gcc-gnats@gcc.gnu.org.
> retitle 166255 [PR ada/8606] GNAT floating point optimization bug
Bug#166255: GNAT floating point optimization bug
Changed Bug title.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: