chiark / gitweb /
basic/log: split max log level into multiple "realms"