chiark / gitweb /
Fix some typos in tag names.