Merge pull request #1072 from steve-community/dependabot/maven/com.gi…

…thub.spotbugs-spotbugs-maven-plugin-4.7.3.1 Bump spotbugs-maven-plugin from 4.7.3.0 to 4.7.3.1
steve-community · Feb 26, 2023 · e9d4ede · e9d4ede
2 parents 34dab45 + 0a0c8b3
commit e9d4ede
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -201,7 +201,7 @@
             <plugin>
                 <groupId>com.github.spotbugs</groupId>
                 <artifactId>spotbugs-maven-plugin</artifactId>
-                <version>4.7.3.0</version>
+                <version>4.7.3.1</version>
                 <configuration>
                     <failOnError>false</failOnError>
                     <onlyAnalyze>de.rwth.idsg.steve.-</onlyAnalyze>