Skip to content
This repository has been archived by the owner on Nov 28, 2022. It is now read-only.

Changing OpenAPI name #713

Merged
merged 2 commits into from
Oct 5, 2020

Conversation

sishida
Copy link
Contributor

@sishida sishida commented Oct 2, 2020

Signed-off-by: Sarah Ishida [email protected]

Signed-off-by: Sarah Ishida <[email protected]>
@sishida sishida requested a review from micgibso October 2, 2020 18:33
Copy link
Contributor

@micgibso micgibso left a comment

Choose a reason for hiding this comment

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

Lgtm

@sishida sishida merged commit e92b755 into eclipse-archived:master Oct 5, 2020
@sishida sishida deleted the sishida_309_nameupdate branch October 5, 2020 17:22
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