Skip to content

Conversation

hauner
Copy link
Member

@hauner hauner commented Nov 26, 2019

No description provided.

@hauner hauner self-assigned this Nov 26, 2019
@hauner hauner added the enhancement New feature or request label Nov 26, 2019
@hauner hauner added this to the 1.0.0.A3 milestone Nov 26, 2019
@hauner hauner merged commit 1f9cd34 into master Nov 26, 2019
@hauner hauner deleted the #37 branch November 26, 2019 21:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant