Skip to content
This repository was archived by the owner on Sep 28, 2021. It is now read-only.

Stable fixes#13

Merged
junghans merged 2 commits intomasterfrom
stable_fixes
Apr 19, 2020
Merged

Stable fixes#13
junghans merged 2 commits intomasterfrom
stable_fixes

Conversation

@junghans
Copy link
Copy Markdown
Member

No description provided.

@junghans junghans requested a review from JensWehner April 18, 2020 19:56
@junghans
Copy link
Copy Markdown
Member Author

@JensWehner please review

@junghans junghans merged commit de13cc1 into master Apr 19, 2020
@junghans junghans deleted the stable_fixes branch April 19, 2020 01:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants