chiark / gitweb /
tree-wide: remove consecutive duplicate words in comments (#5148)