Skip to content

fixes #807 add portal-registry model for portal registry and discovery#808

Merged
stevehu merged 1 commit intomasterfrom
issue807
Nov 15, 2020
Merged

fixes #807 add portal-registry model for portal registry and discovery#808
stevehu merged 1 commit intomasterfrom
issue807

Conversation

@stevehu
Copy link
Copy Markdown
Contributor

@stevehu stevehu commented Nov 15, 2020

No description provided.

@stevehu stevehu merged commit 2fec5b5 into master Nov 15, 2020
@stevehu stevehu deleted the issue807 branch November 15, 2020 01:22
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