chiark / gitweb /
control: Drop redundant Priority field