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