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