Skip to content

Conversation

emmanuel-averty
Copy link

No description provided.

@javiereguiluz
Copy link
Member

Emmanuel, thanks for this contribution. Sadly, I merged #20795, which makes the same fix, without realizing that your contribution was created earlier. Yours should have been merged instead. I'm sorry about this (it's only my fault) ... and I hope that you send a new contribution soon so we can merge it. Sorry!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants