Paul Eggert Wed, 15 Jul 2020 13:46:36 -0700
On 7/15/20 1:39 PM, Bruno Haible wrote:
Here's a proposed doc patch.
Thanks, I installed that.