Processing commands for cont...@bugs.debian.org: > merge 907988 907937 Bug #907988 [rubber] rubber must specify the encoding when opening files Unable to merge bugs because: affects of #907937 is '' not 'src:why3' Failed to merge 907988: Did not alter merged bugs.
> thanks Stopping processing here. Please contact me if you need assistance. -- 907937: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907937 907988: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907988 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems