Processing commands for [EMAIL PROTECTED]: > forwarded 166255 [EMAIL PROTECTED] Bug#166255: GNAT floating point optimization bug Noted your statement that Bug has been forwarded to [EMAIL PROTECTED]
> 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)
