chiark / gitweb /
journal: rename priority_prefix to level_prefix, since that's how we call it in PID 1