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