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