From 6aaa5a7300876e3835a4f8b821d9490353f8fd1b Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 17 Mar 2021 07:35:08 +0000
Subject: [PATCH] Bump revapi-maven-plugin from 0.13.2 to 0.13.5

Bumps [revapi-maven-plugin](https://github.com/revapi/revapi) from 0.13.2 to 0.13.5.
- [Release notes](https://github.com/revapi/revapi/releases)
- [Commits](https://github.com/revapi/revapi/compare/revapi_v0.13.2...revapi-maven-plugin_v0.13.5)

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

diff --git a/pom.xml b/pom.xml
index 3deb1906..a4ed48fd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -90,7 +90,7 @@
     <pitest-junit5-plugin.version>0.12</pitest-junit5-plugin.version>
     <error-prone.version>2.5.1</error-prone.version>
     <nullaway.version>0.9.0</nullaway.version>
-    <revapi-maven-plugin.version>0.13.2</revapi-maven-plugin.version>
+    <revapi-maven-plugin.version>0.13.5</revapi-maven-plugin.version>
     <revapi-java.version>0.23.2</revapi-java.version>
     <nexus-staging-maven-plugin.version>1.6.8</nexus-staging-maven-plugin.version>
     <maven-gpg-plugin.version>1.6</maven-gpg-plugin.version>