Skip to content
This repository was archived by the owner on Oct 23, 2023. It is now read-only.

release-1.8.0 #158

Merged
merged 5 commits into from
Nov 25, 2020
Merged

release-1.8.0 #158

merged 5 commits into from
Nov 25, 2020

Conversation

teemukataja
Copy link
Contributor

@teemukataja teemukataja commented Nov 25, 2020

Forward #157 to master for a release

@teemukataja teemukataja changed the title Dev release-1.8.0 Nov 25, 2020
@teemukataja teemukataja added the release For when we need to make it official label Nov 25, 2020
@blankdots blankdots merged commit d894eec into master Nov 25, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
release For when we need to make it official
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants