On Fri, Jan 20 2023 at 12:19 GMT, Barak A. Pearlmutter wrote: [...]
> So I'm going to mark this as done as of 9.0.0-5, after merging it with
> 979029 which seems to be the same issue.
OK
Best regards
Janusz
--
,
Janusz S. Bien
emeryt (emeritus)
https://sites.google.com/view/jsbien
