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