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