chiark / gitweb /
Use message number for reject publish filename if available