chiark / gitweb /
man: Fix event source priority enum names in synopsis (#4478)