Skip to content

Conversation

@BapisteB
Copy link

Found a type error in the docs so I figured I fix it.

I have directly opened a PR as I felt opening an issue was not the way to go. Please tell me if this was the right way (first PR here) !

Related to #120

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant