diff --git a/documentation/pom.xml b/documentation/pom.xml index 21644e842..357d5caf0 100644 --- a/documentation/pom.xml +++ b/documentation/pom.xml @@ -15,7 +15,7 @@ ${project.build.directory}/generated-docs/ true 3.8.1 - 1.5.12 + 1.5.13