marcj commented 2 months ago
> I've added now the fix for #477 as well as otherwise the CI won't be green.