Dec. 30, 2023
2:21 a.m.
On 30 Dec 2023, at 21:06, Paul Eggert <eggert@cs.ucla.edu> wrote:
Thanks for reporting that. It appears that the 2023d fix in this area was incomplete. I installed the attached patch to fix the issue that you reported; please give it a try.
Thanks Paul, that patch worked for me. It regenerated the Ciudad_Juarez transition tests as I expected, with no other zones affected. Cheers, Gil