Skip to content

Conversation

FxKu
Copy link
Member

@FxKu FxKu commented Jul 9, 2020

as #974 did not do it

@FxKu
Copy link
Member Author

FxKu commented Jul 9, 2020

👍

@FxKu FxKu added this to the 1.6 milestone Jul 10, 2020
@Jan-M
Copy link
Member

Jan-M commented Jul 10, 2020

👍

@FxKu FxKu merged commit 3759634 into master Jul 10, 2020
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.

2 participants