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