chiark / gitweb /
fix typo in log message priority handling