[java-identity-provider] branch dev/IDP-2397 deleted (was 580189d28)

Codeberg noreply at shibboleth.net
Mon Jun 29 15:54:19 UTC 2026


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

codeberg pushed a change to branch dev/IDP-2397
in repository java-identity-provider.

     was 580189d28 IDP-2397 Use project.version to set msi internal version

This change permanently discards the following revisions:

 discard 580189d28 IDP-2397 Use project.version to set msi internal version

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


More information about the commits mailing list