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