Sept. 15, 2024
10:46 p.m.
On Sun, 15 Sept 2024 at 23:19, Paul Eggert <eggert@cs.ucla.edu> wrote:
On 2024-09-15 13:19, Stephen Colebourne via tz wrote:
This is pretty much the same problem as 2022
OK, I installed the attached patch, which does the same sort of thing we did in 2022.
Thanks. This worked for me, and I was able to remove my hacky workaround. Stephen