Skip to content

Conversation

minad
Copy link
Member

@minad minad commented May 9, 2019

forgot this in #236

@minad minad requested a review from sjaeckel May 9, 2019 02:17
@sjaeckel sjaeckel merged commit cc3be56 into develop May 9, 2019
@sjaeckel sjaeckel deleted the error-string branch May 9, 2019 07:31
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