Processing commands for [EMAIL PROTECTED]:

> # 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 via email to