Processed: gcc: submitted Debian report #207444 to gcc-gnats as PR 12564
Processing commands for control@bugs.debian.org:
> # submitted Debian report #207444 to gcc-gnats as PR 12564
> # http://gcc.gnu.org/PR12564
> forwarded 207444 http://gcc.gnu.org/PR12564
Bug#207444: gcc-3.3: gcc version selection doesn't work as expected
Noted your statement that Bug has been forwarded to http://gcc.gnu.org/PR12564.
> retitle 207444 [PR 12564] gcc version selection doesn't work as expected
Bug#207444: gcc-3.3: gcc version selection doesn't work as expected
Changed Bug title.
> tags 207444 + upstream
Bug#207444: [PR 12564] gcc version selection doesn't work as expected
There were no tags set.
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: