On Sun, Aug 13, 2023 at 8:44 AM Ihor Radchenko <yantar92@posteo.net> wrote:

> Does the attached patch fix the problem?
>

The patch works for me, thank you very much!