On Mon, Nov 3, 2025 at 7:11 AM Roberto E. Vargas Caballero
<[email protected]> wrote:
>
> Thank you for the bug report! I think the last changes pushed to master
> already fix this problem. Can you validate?
>

fix confirmed :)

Reply via email to