Skip to content

Conversation

@patrickbussmann
Copy link

No description provided.

@jrushlow
Copy link
Collaborator

jrushlow commented Dec 8, 2020

hmmmm this was already done in #758

@patrickbussmann
Copy link
Author

ah yes you're right. I did this few days ago and forgot to make this pull request.
Thanks for information! @jrushlow

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.

2 participants