>>>>> "Peter" == Peter Korsgaard <peter at korsgaard.com> writes: > Instead of hardcoded sys.stderr.write() calls. No functional change, but > allows us to easily implement a quiet option. > Signed-off-by: Peter Korsgaard <peter at korsgaard.com> Committed, thanks. -- Bye, Peter Korsgaard