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