Paul Eggert Sun, 23 Aug 2020 13:11:44 -0700
Thanks, I installed that and updated HACKING accordingly.
