chiark / gitweb /
wiki: fix bug updating Repository Maintenance