Paul Eggert Mon, 20 Jul 2020 11:37:02 -0700
On 7/20/20 1:07 AM, Bruno Haible wrote:
Paul, would you agree to this change?
Yes, sounds good.