chiark / gitweb /
[dev-ref] fix a tag; update POT and PO files (+3f, +2u)