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