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