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

Merge branch dev #84

Merged
merged 5 commits into from
Feb 13, 2017
Merged

Merge branch dev #84

merged 5 commits into from
Feb 13, 2017

Conversation

tpo-anssi
Copy link
Contributor

No description provided.

@tpo-anssi tpo-anssi added this to the 1.0-stable milestone Feb 13, 2017
@tpo-anssi tpo-anssi merged commit 03f23f4 into master Feb 13, 2017
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.

1 participant