Seems to work -- thanks!

--Todd

On 4/26/26 17:21, Philippe Michel wrote:
The problem should be fixed in the current git version.


Reply via email to