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

Release 1.4.0 #143

Merged
merged 1 commit into from
Jan 19, 2021
Merged

Release 1.4.0 #143

merged 1 commit into from
Jan 19, 2021

Conversation

@ksaric
Copy link
Contributor Author

ksaric commented Jan 19, 2021

bors try

iohk-bors bot added a commit that referenced this pull request Jan 19, 2021
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jan 19, 2021

try

Build succeeded:

@ksaric ksaric merged commit 5da923f into master Jan 19, 2021
@iohk-bors iohk-bors bot deleted the ksaric/release-1.4.0 branch January 19, 2021 09:30
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.

None yet

1 participant