Skip to content

Conversation

@sjaeckel
Copy link
Member

Just a bunch more minor fixes.

@sjaeckel sjaeckel requested a review from karel-m October 13, 2019 18:26
@sjaeckel sjaeckel force-pushed the more-fixes branch 5 times, most recently from 1b00438 to 740b7b8 Compare October 14, 2019 10:43
@sjaeckel sjaeckel force-pushed the more-fixes branch 2 times, most recently from 0e336c5 to c4b53e4 Compare October 17, 2019 09:01
@sjaeckel sjaeckel merged commit 9682df9 into develop Oct 17, 2019
@sjaeckel sjaeckel deleted the more-fixes branch October 17, 2019 12:50
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