chiark / gitweb /
Don't show INFO: when not doing verbose runs