chiark / gitweb /
Use log "level" instead of "priority"