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