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