chiark / gitweb /
Synchronised with 1.72 (no real change needed, updated french version number)