Processed: Re: Bug#863033: strip-nondeterminism: Only print log messages by default if a file has been modified

[Debian Bug Tracking System]

Processing control commands:

> severity -1 important
Bug #863033 [strip-nondeterminism] strip-nondeterminism: Only print log messages by default if a file has been modified
Severity set to 'important' from 'normal'

-- 
863033: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863033
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems