Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

OpenAPI relative server URLs #230

Merged
merged 4 commits into from
May 17, 2021
Merged

OpenAPI relative server URLs #230

merged 4 commits into from
May 17, 2021

Conversation

johakoch
Copy link
Collaborator

No description provided.

@johakoch johakoch force-pushed the openapi-relative-server-urls branch 2 times, most recently from fa06fd9 to 7f3fa49 Compare May 14, 2021 12:25
@johakoch johakoch marked this pull request as draft May 14, 2021 12:28
@johakoch johakoch force-pushed the openapi-relative-server-urls branch 2 times, most recently from acd742e to 3e9c1b8 Compare May 14, 2021 14:16
@johakoch johakoch force-pushed the openapi-relative-server-urls branch 2 times, most recently from b7c894a to 4512e27 Compare May 17, 2021 06:58
@johakoch johakoch force-pushed the openapi-relative-server-urls branch from 4512e27 to 12224f2 Compare May 17, 2021 07:00
@johakoch johakoch marked this pull request as ready for review May 17, 2021 07:01
@malud malud self-assigned this May 17, 2021
@malud malud merged commit 7ee1937 into master May 17, 2021
@malud malud deleted the openapi-relative-server-urls branch May 17, 2021 15:10
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.

2 participants