5.1.2 (2023-07-17) Bug Fixes swagger-ui-react: fix default value for spec prop (#9025) (990ff7d), closes #8976
swagger-api/