Processed: fixed in g++-3.1

Processing commands for [EMAIL PROTECTED]: > 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

Processed: fixed in g++-3.1

Processing commands for [EMAIL PROTECTED]: > tags 81122 + fixed Bug#81122: [fix 3.1: PR c++/3494] Internal compiler error (with wrong code, though) Tags added: fixed > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administr