Skip to content

revert miner change#1417

Merged
jl777 merged 2 commits intojl777from
unknown repository
Apr 15, 2019
Merged

revert miner change#1417
jl777 merged 2 commits intojl777from
unknown repository

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Apr 15, 2019

Fixes reported crash with OUR. Genie tested it for me.

@jl777 jl777 merged commit 31eb126 into jl777:jl777 Apr 15, 2019
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.

1 participant