Skip to content

Conversation

@lippserd
Copy link
Member

No description provided.

@lippserd lippserd added the enhancement New feature or request label Jul 14, 2020
@lippserd lippserd added this to the v0.6.0 milestone Jul 14, 2020
@lippserd lippserd requested a review from nilmerg July 14, 2020 10:42
@lippserd lippserd merged commit 2b58dbe into master Oct 7, 2020
@lippserd lippserd deleted the translator branch October 7, 2020 07:40
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.

3 participants