Processing control commands: > affects -1 src:why3 Bug #907988 [rubber] rubber must specify the encoding when opening files Added indication that 907988 affects src:why3
-- 907988: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907988 Debian Bug Tracking System Contact [email protected] with problems
