From ed278a3cb7ecfa62b7b773702ae0e3966a1e336e Mon Sep 17 00:00:00 2001
From: bornholdt <bornholdt@informatik.uni-hamburg.de>
Date: Sat, 12 Feb 2022 07:04:20 +0100
Subject: [PATCH] Bump maven-javadoc-plugin from 3.3.1 to 3.3.2

Bumps [maven-javadoc-plugin](https://github.com/apache/maven-javadoc-plugin) from 3.3.1 to 3.3.2.
- [Release notes](https://github.com/apache/maven-javadoc-plugin/releases)
- [Commits](https://github.com/apache/maven-javadoc-plugin/compare/maven-javadoc-plugin-3.3.1...maven-javadoc-plugin-3.3.2)
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 738c09f75..2cb9f6a28 100644
--- a/pom.xml
+++ b/pom.xml
@@ -381,7 +381,7 @@
                 <plugin>
                     <groupId>org.apache.maven.plugins</groupId>
                     <artifactId>maven-javadoc-plugin</artifactId>
-                    <version>3.3.1</version>
+                    <version>3.3.2</version>
                 </plugin>
                 <plugin>
                     <groupId>org.apache.maven.plugins</groupId>
-- 
GitLab