Skip to content
This repository has been archived by the owner on Jun 12, 2023. It is now read-only.

Fix poc_mgr record upgrades again #1827

Merged
merged 4 commits into from
Oct 6, 2022
Merged

Conversation

Vagabond
Copy link
Contributor

@Vagabond Vagabond commented Oct 6, 2022

No description provided.

@Vagabond Vagabond requested a review from andymck October 6, 2022 15:36
src/poc/miner_poc_mgr.erl Outdated Show resolved Hide resolved
src/poc/miner_poc_mgr.erl Outdated Show resolved Hide resolved
@Vagabond Vagabond merged commit 1535fe3 into master Oct 6, 2022
@Vagabond Vagabond deleted the adt/fix-poc-mgr-upgrades-again branch October 6, 2022 16:48
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.

2 participants