Processing commands for cont...@bugs.debian.org: > forcemerge 907988 907937 Bug #907988 [rubber] rubber must specify the encoding when opening files Bug #907937 [rubber] rubber: generate UnicodeDecodeError if .log is not valid in locale encoding Added indication that 907937 affects src:why3 Merged 907937 907988 > 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