>>>> "TK" == Toshio Kuratomi
<a.badger(a)gmail.com> writes:
TK> This looks like a good change. Anyone object to me going ahead
TK> and changing it?
No objection here; removing inconsistencies from ScriptletSnippets is
always a good thing. Using --quiet is probably the best choice if
it's supported as far back as we need it to be.
- J<