chiark / gitweb /
changed plural of Patch in the German version