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