Skip to content

Version bump and fix binder#34

Merged
JanBobolz merged 2 commits intomainfrom
develop
Jul 27, 2021
Merged

Version bump and fix binder#34
JanBobolz merged 2 commits intomainfrom
develop

Conversation

@JanBobolz
Copy link
Copy Markdown
Member

No description provided.

@JanBobolz JanBobolz merged commit 1c9dc32 into main Jul 27, 2021
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