Processed (with 1 errors): Merge duplicates

Processing commands for cont...@bugs.debian.org: > merge 705924 705906 Bug #705924 [fsharp-console] doesn't work Unable to merge bugs because: severity of #705906 is 'important' not 'grave' Failed to merge 705924: Did not alter merged bugs Debbugs::Control::set_merged('transcript', 'GLOB(0

Processed (with 1 errors): Merge duplicates

Processing commands for cont...@bugs.debian.org: > # Bug #615660 should be fixed by the fix for bug #618195 > severity 615660 serious Bug #615660 [libgwenhywfar] libgwenhywfar: ftbfs with gcc-4.5 Severity set to 'serious' from 'important' > merge 615660 618195 Bug#615660: libgwenhywfar: ftbfs wit