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