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