Skip to content

Conversation

@jgebal
Copy link
Member

@jgebal jgebal commented Sep 2, 2019

Resolves #920

@jgebal jgebal added this to the v3.1.8 milestone Sep 2, 2019
@jgebal jgebal merged commit 2679d42 into develop Sep 3, 2019
@jgebal jgebal deleted the jgebal-patch-1 branch September 3, 2019 22:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Quoted usernames are not supported

3 participants