Skip to content

use registry DB #32

Merged
merged 1 commit into from
Dec 5, 2020
Merged

use registry DB #32

merged 1 commit into from
Dec 5, 2020

Conversation

chubing
Copy link
Collaborator

@chubing chubing commented Dec 5, 2020

No description provided.

@chubing chubing merged commit 2ce8dac into main Dec 5, 2020
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant