@c -*- coding: utf-8; mode: texinfo; -*-
@ignore
- Translation of GIT committish: c1eb9d63bb22ba4a9243942599f68768f5631e34
+ Translation of GIT committish: 3dd9b13331489a191d0e901245cc98476e5fcac1
When revising a translation, copy the HEAD committish of the
version that you are working on. For details, see the Contributors'