chiark / gitweb /
shutdown: downgrade a warning