Oct. 30, 2022
12:06 a.m.
On 2022-10-29 10:07, Paul Eggert wrote:
Thanks for reporting that. I installed the attached patch into the development repository.
After reading yesterday's new Mexico law more carefully, I installed the attached patch, which updates comments to match the new law better. These comment changes don't alter the data (other than ordering, which is irrelevant).