Skip to content

Conversation

@jankrassnigg
Copy link
Member

Also fixes several minor oversights

Also fixes several minor oversights
@jankrassnigg jankrassnigg added this to the Next Release milestone Aug 10, 2020
@jankrassnigg jankrassnigg merged commit 931847d into dev Aug 10, 2020
@jankrassnigg jankrassnigg deleted the user/jk/visualizer branch August 10, 2020 18:39
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.

2 participants