[java-identity-provider] branch maint-5.1 updated: Update version under IDE.

[Scott Cantor]

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

scantor pushed a commit to branch maint-5.1
in repository java-identity-provider.

View the commit online:
http://git.shibboleth.net/view/?p=java-identity-provider.git;a=commit;h=2edb11c7f91239fa75ad162e6410f6f301454fb7

The following commit(s) were added to refs/heads/maint-5.1 by this push:
     new 2edb11c7f Update version under IDE.
2edb11c7f is described below

commit 2edb11c7f91239fa75ad162e6410f6f301454fb7
Author: Scott Cantor <cantor.2 at osu.edu>
AuthorDate: Mon Jul 29 14:19:00 2024 -0400

    Update version under IDE.
---
 idp-core/src/main/java/net/shibboleth/idp/Version.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/idp-core/src/main/java/net/shibboleth/idp/Version.java b/idp-core/src/main/java/net/shibboleth/idp/Version.java
index 904f5e6b2..81f712058 100644
--- a/idp-core/src/main/java/net/shibboleth/idp/Version.java
+++ b/idp-core/src/main/java/net/shibboleth/idp/Version.java
@@ -46,9 +46,9 @@ public final class Version {
      */
     @Nullable public static String getVersion() {
         if (VERSION == null) {
-            return "5.1.2";
+            return "5.1.3";
         }
         return VERSION;
     }
 
-}
\ No newline at end of file
+}

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