Skip to content

Conversation

pjio
Copy link

@pjio pjio commented Apr 8, 2020

No description provided.

@wouterj
Copy link
Member

wouterj commented Apr 10, 2020

Hi @pjio! Thanks a lot for taking the time to submit a fix. However, someone already sent the same fix a day before you did in #13504 . So I'm very sorry, but I'm going to close this PR in favor of that one.

Hope to see you back in the future with more fixes!

@wouterj wouterj closed this Apr 10, 2020
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.

4 participants