chiark / gitweb /
Fix problems with german support selection.