chiark / gitweb /
Change --resetserver to --reset-server for consistency