From b9759c818fbde1e15086a380d5ca9a285e432fe6 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 18 Jul 2023 22:53:24 +0000
Subject: [PATCH] Bump swagger-ui-dist from 5.1.2 to 5.1.3

Bumps [swagger-ui-dist](https://github.com/swagger-api/swagger-ui) from 5.1.2 to 5.1.3.
- [Release notes](https://github.com/swagger-api/swagger-ui/releases)
- [Changelog](https://github.com/swagger-api/swagger-ui/blob/master/.releaserc)
- [Commits](https://github.com/swagger-api/swagger-ui/compare/v5.1.2...v5.1.3)

---
updated-dependencies:
- dependency-name: org.webjars.npm:swagger-ui-dist
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 ui/open-api-ui/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/open-api-ui/pom.xml b/ui/open-api-ui/pom.xml
index ae944b000..74f1b10b8 100644
--- a/ui/open-api-ui/pom.xml
+++ b/ui/open-api-ui/pom.xml
@@ -13,7 +13,7 @@
     <name>SmallRye: OpenAPI UI</name>
 
     <properties>
-        <swagger-ui.version>5.1.2</swagger-ui.version>
+        <swagger-ui.version>5.1.3</swagger-ui.version>
         <swagger-ui-theme.version>3.0.1</swagger-ui-theme.version>
         <path.swagger-ui>openapi-ui</path.swagger-ui>
         <sonar.skip>true</sonar.skip>