chiark / gitweb /
adt-run: Make --quiet really work (Closes: #637350)