5.17.12 (2024-05-21) Bug Fixes config: define missing default options and their types (#9949) (04bbeaa), closes #9945 release: fix failed v5.17.11 release (a35a71e) swagger-client: fix OpenAPI 3.1.0 dereferencing (#9950) (10e1a5f), closes #9941
