@c -*- coding: utf-8; mode: texinfo; -*-
@ignore
- Translation of GIT committish: db57f02c46305a587071dfb73a51bd8250df2482
+ 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.