Paul Eggert Sat, 18 May 2019 11:21:50 -0700
Akim Demaille wrote:
How about this?
Looks OK to me; thanks.