chiark / gitweb /
Update POT and PO files (after fixing #655153)