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