chiark / gitweb /
Suppress no-collection log message for scratches