Processed: gcc: submitted Debian report #238432 to gcc-gnats as PR 14709
Processing commands for control@bugs.debian.org:
> # submitted Debian report #238432 to gcc-gnats as PR 14709
> # http://gcc.gnu.org/PR14709
> forwarded 238432 http://gcc.gnu.org/PR14709
Bug#238432: gcj-3.3: gcj fails to wait for its child processes on exec()
Noted your statement that Bug has been forwarded to http://gcc.gnu.org/PR14709.
> retitle 238432 [PR 14709] gcj fails to wait for its child processes on exec()
Bug#238432: gcj-3.3: gcj fails to wait for its child processes on exec()
Changed Bug title.
> tags 238432 + upstream
Bug#238432: [PR 14709] gcj fails to wait for its child processes on exec()
Tags were: sid
Tags added: upstream
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: