Skip to content

Conversation

majst01
Copy link
Contributor

@majst01 majst01 commented Nov 25, 2020

No description provided.

@majst01 majst01 requested a review from eberlep November 25, 2020 15:54
@majst01
Copy link
Contributor Author

majst01 commented Nov 25, 2020

This can be put into main right away.

@eberlep eberlep merged commit 5fe03f8 into main Nov 25, 2020
@majst01 majst01 deleted the version branch November 26, 2020 19:04
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