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