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