On 1/15/22 21:27, Paul Eggert wrote: > I installed commit f39a02a744ae97f6879ba1d20a528192772773e0 to try to fix the > bugs.
Thanks, now the build incl. all tests pass here again. Have a nice day, Berny
On 1/15/22 21:27, Paul Eggert wrote: > I installed commit f39a02a744ae97f6879ba1d20a528192772773e0 to try to fix the > bugs.
Thanks, now the build incl. all tests pass here again. Have a nice day, Berny