Processing commands for control@bugs.debian.org: > unmerge 107633 Bug#107633: Error in std library headers Bug#105246: [PR c++/3774 arm] can't compile a trivial program including <string> Disconnected #107633 from all other report(s). > reopen 107633 Bug#107633: Error in std library headers Bug reopened, originator not changed. > thanks Stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database)