chiark / gitweb /
fix #516436 (apply patch from Justin B Rye)