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