This repository was archived by the owner on Jun 5, 2025. It is now read-only.

Update OpenAPI#1211

Merged

jhrozek merged 1 commit intomainfrom

update-openapi-bfd2a665fef4d312b4181e1293cabf6159716177

Mar 4, 2025

Commits on Mar 4, 2025

Update OpenAPI to version generated from ref bfd2a665fef4d312b4181e1293cabf6159716177
github-actions[bot]
committed