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