Skip to content

Conversation

jbgi
Copy link
Contributor

@jbgi jbgi commented Jul 8, 2021

No description provided.

@jbgi jbgi requested a review from disassembler July 8, 2021 12:05
@disassembler
Copy link
Contributor

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jul 8, 2021

@iohk-bors iohk-bors bot merged commit 00125da into master Jul 8, 2021
@iohk-bors iohk-bors bot deleted the nix/alonzo-white branch July 8, 2021 13:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants