Skip to content
This repository has been archived by the owner on Apr 5, 2024. It is now read-only.

Release/0.8.1 #1094

Merged
merged 3 commits into from
Dec 10, 2019
Merged

Release/0.8.1 #1094

merged 3 commits into from
Dec 10, 2019

Conversation

tuovinensanttu
Copy link
Contributor

No description provided.

Copy link
Contributor

@ironroger ironroger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I approve these changes.

@tuovinensanttu tuovinensanttu merged commit 11463d8 into develop Dec 10, 2019
@tuovinensanttu tuovinensanttu deleted the release/0.8.1 branch December 10, 2019 12:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants