Skip to content

add server default values to properties in generated OpenAPI#4774

Merged
miguelgrinberg merged 1 commit intomainfrom
add-server-default-to-openapi
Jul 4, 2025
Merged

add server default values to properties in generated OpenAPI#4774
miguelgrinberg merged 1 commit intomainfrom
add-server-default-to-openapi

Commits

Commits on Jul 3, 2025