[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: