Skip to content

Conversation

Zapados
Copy link
Contributor

@Zapados Zapados commented Jan 31, 2019

Fixes #1169.

@ben
Copy link
Member

ben commented Jan 31, 2019

@ben ben merged commit 7bbee8d into progit:master Jan 31, 2019
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.

3 participants