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