Skip to content

Conversation

@newhoggy
Copy link
Contributor

@newhoggy newhoggy commented Jun 5, 2022

No description provided.

Copy link
Contributor

@Jimbo4350 Jimbo4350 left a comment

Choose a reason for hiding this comment

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

Thanks

@newhoggy
Copy link
Contributor Author

newhoggy commented Jun 7, 2022

bors r+

iohk-bors bot added a commit that referenced this pull request Jun 7, 2022
3997: Remove code marked as for deletion after merging of #1948 r=newhoggy a=newhoggy



Co-authored-by: John Ky <john.ky@iohk.io>
@newhoggy newhoggy force-pushed the newhoggy/remove-marked-code branch from a742170 to c16ea0b Compare June 7, 2022 01:11
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jun 7, 2022

Canceled.

@newhoggy newhoggy force-pushed the newhoggy/remove-marked-code branch from 419f588 to 46db691 Compare June 7, 2022 01:24
@newhoggy
Copy link
Contributor Author

newhoggy commented Jun 7, 2022

bors r+

iohk-bors bot added a commit that referenced this pull request Jun 7, 2022
3997: Remove code marked as for deletion after merging of #1948 r=newhoggy a=newhoggy



Co-authored-by: John Ky <john.ky@iohk.io>
@newhoggy newhoggy force-pushed the newhoggy/remove-marked-code branch from 46db691 to e6c4f1b Compare June 7, 2022 01:29
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jun 7, 2022

Canceled.

@newhoggy
Copy link
Contributor Author

newhoggy commented Jun 7, 2022

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Jun 7, 2022

Build succeeded:

@iohk-bors iohk-bors bot merged commit 7608488 into master Jun 7, 2022
@iohk-bors iohk-bors bot deleted the newhoggy/remove-marked-code branch June 7, 2022 03:41
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.

3 participants