@c -*- coding: utf-8; mode: texinfo; -*-
@ignore
- Translation of GIT committish: 8cbb38db1591ab95a178643e7bf41db018aa22c0
+ Translation of GIT committish: 233fb6a8b3b6e31de1841641dbbd4c4f43423151
When revising a translation, copy the HEAD committish of the