\input texinfo @c -*- coding: utf-8; mode: texinfo; -*-
@ignore
- Translation of GIT committish: bc494bf964f01a1327bc7c6e3c70d0cb8d897ecb
+ Translation of GIT committish: bf1e35f1dee87dc6c6537e52cda6c2ed9add6fb4
When revising a translation, copy the HEAD committish of the
version that you are working on. See TRANSLATION for details.