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