chiark / gitweb /
event: add some well-defined priority values of event sources