chiark / gitweb /
[dev-ref] POT and PO update (+1f)