chiark / gitweb /
Patch from Thorsten Glaser (fixes #760327)