[java-idp-plugin-jetty] branch main updated: Add back antrun plugin version.

[Codeberg]

This is an automated email from the git hooks/post-receive script.

codeberg pushed a commit to branch main
in repository java-idp-plugin-jetty.

View the commit online:
https://codeberg.org/Shibboleth/java-idp-plugin-jetty/commit/ba9953fbf5f6dcaebea9ed0aa3fb106c8c28b75e

The following commit(s) were added to refs/heads/main by this push:
     new ba9953f  Add back antrun plugin version.
ba9953f is described below

commit ba9953fbf5f6dcaebea9ed0aa3fb106c8c28b75e
Author: Scott Cantor <cantor.2 at osu.edu>
AuthorDate: Mon Dec 22 11:15:29 2025 -0500

    Add back antrun plugin version.
---
 jetty-impl/pom.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jetty-impl/pom.xml b/jetty-impl/pom.xml
index edc36e3..29ee6be 100644
--- a/jetty-impl/pom.xml
+++ b/jetty-impl/pom.xml
@@ -115,6 +115,7 @@
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-antrun-plugin</artifactId>
+                <version>3.1.0</version>
                 <executions>
                     <execution>
                         <!-- Copy CLI jar into the target, giving it a non changing name -->

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.