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