dummy-dev: merge dummy-main-with-3.1.3#59

ralfhandl wants to merge 5 commits intodummy-devralfhandl/OpenAPI-Specification:dummy-devfrom

dummy-main-with-3.1.3ralfhandl/OpenAPI-Specification:dummy-main-with-3.1.3Copy head branch name to clipboard