From 856e0f4a400574319939f69badc77869694d57e4 Mon Sep 17 00:00:00 2001
From: Damien Goutte-Gattat <dgouttegattat@incenp.org>
Date: Mon, 13 May 2024 20:39:26 +0100
Subject: [PATCH] Fix bogus Maven plugin version.

When bumping the dependencies, the maven-project-info-reports-plugin got
erroneously updated to an inexistent version (3.12.1).
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index c33db20..ba6e7d9 100644
--- a/pom.xml
+++ b/pom.xml
@@ -85,7 +85,7 @@
       <plugin>
         <groupId>org.apache.maven.plugins</groupId>
         <artifactId>maven-project-info-reports-plugin</artifactId>
-        <version>3.12.1</version>
+        <version>3.5.0</version>
       </plugin>
       <plugin>
         <groupId>org.apache.maven.plugins</groupId>