chore(deps): update dependency org.revapi:revapi-maven-plugin to v0.1…

…1.5 (#3465) Co-authored-by: Renovate Bot <bot@renovateapp.com>
INRIA · Jul 8, 2020 · 06d06b0 · 06d06b0
1 parent 4a821b7
commit 06d06b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spoon-pom/pom.xml b/spoon-pom/pom.xml
@@ -206,7 +206,7 @@
                 <groupId>org.revapi</groupId>
                 <artifactId>revapi-maven-plugin</artifactId>
                 <!-- Lock down plugin version for build reproducibility -->
-                <version>0.11.1</version>
+                <version>0.11.5</version>
                 <dependencies>
                     <dependency>
                         <groupId>org.revapi</groupId>