Skip to content
This repository was archived by the owner on Aug 18, 2020. It is now read-only.

Conversation

@dcoutts
Copy link
Contributor

@dcoutts dcoutts commented Feb 5, 2020

And update changelog.

Copy link
Contributor

@karknu karknu left a comment

Choose a reason for hiding this comment

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

LGTM.

@dcoutts
Copy link
Contributor Author

dcoutts commented Feb 5, 2020

bors r+

iohk-bors bot added a commit that referenced this pull request Feb 5, 2020
98: Bump version to 1.0.4 r=dcoutts a=dcoutts

And update changelog.

Co-authored-by: Duncan Coutts <duncan@well-typed.com>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Feb 5, 2020

@iohk-bors iohk-bors bot merged commit 1dfc55b into master Feb 5, 2020
@iohk-bors iohk-bors bot deleted the dcoutts/release-1.0.4 branch February 5, 2020 10:18
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.

3 participants