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