Processed: gcc: submitted Debian report #141015 to gcc-gnats as PR c/8609

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> forwarded 141015 gcc-gnats@gcc.gnu.org
Bug#141015: gcc-3.0: Superfluous warning when -std=c99/gnu99 and noreturn on main()
Noted your statement that Bug has been forwarded to gcc-gnats@gcc.gnu.org.

> retitle 141015 [PR c/8609] Superfluous warning when -std=c99/gnu99 and noreturn on main()
Bug#141015: gcc-3.0: Superfluous warning when -std=c99/gnu99 and noreturn on main()
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)