@c -*- coding: utf-8; mode: texinfo; -*-
@ignore
- Translation of GIT committish: FILL-IN-HEAD-COMMITTISH
+ Translation of GIT committish: 7a5bfc62fcac71d5c996b2df58921fd2fe783415
When revising a translation, copy the HEAD committish of the
version that you are working on. For details, see the Contributors'