Processed: fixed in g++-3.1
Processing commands for control@bugs.debian.org:
> retitle 107633 [fixed in g++-3.1] Error in std library headers
Bug#107633: Error in std library headers
Changed Bug title.
> tags 107633 + fixed
Bug#107633: [fixed in g++-3.1] Error in std library headers
Tags added: fixed
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--
To UNSUBSCRIBE, email to debian-gcc-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: