auto-merge sync PRs from dev#4775

handrews merged 1 commit intoOAI:mainOAI/OpenAPI-Specification:mainfrom

ralfhandl:main-auto-merge-dev-sync-prsralfhandl/OpenAPI-Specification:main-auto-merge-dev-sync-prsCopy head branch name to clipboard