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