@c -*- coding: utf-8; mode: texinfo; -*-
@ignore
- Translation of GIT committish: a88c1b861df238ad1c000e6a86926e6f19f2fedd
+ Translation of GIT committish: 2881ea603b63e4e335dc1104b0c22c71f373b20d
When revising a translation, copy the HEAD committish of the
version that you are working on. See TRANSLATION for details.