Skip to content

Conversation

@mnot
Copy link
Member

@mnot mnot commented Dec 4, 2019

Fixes #991.

@ioggstream
Copy link
Contributor

@mnot mnot closed this Dec 11, 2019
@mnot mnot deleted the mnot-991 branch December 11, 2019 03:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

The best use for *

3 participants