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