chiark / gitweb /
server/admin.c: Remove spurious `ping' in usage message.
[tripe] / .mailmap
2020-05-25 Mark WoodingMerge branch '1.0.0pre19.x'
2019-09-22 Mark WoodingMerge remote-tracking branch 'origin/1.0.0pre19.x'
2017-08-16 Mark Woodingdebian/copyright, .mailmap: Convert to machine-readable...