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!