Skip to content

Version 0.12.2 - #238

Merged
florimondmanca merged 2 commits into
masterfrom
fm/release-0.12.1
Nov 20, 2020
Merged

florimondmanca merged 2 commits into
masterfrom
fm/release-0.12.1

Conversation

@florimondmanca

Copy link
Copy Markdown
Contributor

0.12.2 (November 20th, 2020)

Fixed

@florimondmanca
florimondmanca requested a review from a team November 20, 2020 20:01
@florimondmanca

Copy link
Copy Markdown
Contributor Author

(Nevermind the branch name, I got confused between 0.12.1 and 0.12.2, but this is indeed meant to be 0.12.2. 😄)

@cdeler cdeler left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Approved

@florimondmanca
florimondmanca merged commit 84c7738 into master Nov 20, 2020
@florimondmanca
florimondmanca deleted the fm/release-0.12.1 branch November 20, 2020 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants