Chris Marusich <cmmarusich@gmail.com> writes:

> Sure thing.  I'll include this change when pushing to origin.

For the record, here's a new version of the patch with the two suggested
improvements (put "warning:" in the warning message, and redirect
superfluous output to /dev/null).

-- 
Chris