I hope feature/igc will merge master.

On Mon, Feb 17, 2025, 17:19 martin rudalics <rudalics@gmx.at> wrote:

>  > Hi martin, I confirmed this patch works! Thank you!
>
> Pushed to master.
>
> Thanks for reporting, martin
>