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