chiark / gitweb /
journalctl: add --priority= switch for filtering by priority