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