Closed estebanlm closed 1 month ago
the PR should have been updated for integration ;) and is not too late to fix it
I did not merged it, I merged an equivallent ;)
ah, perfect. As this one is now seen as merged, it is confusing.
yeah, but this is GH fault ! :P
the PR should have been updated for integration ;) and is not too late to fix it