[java-identity-provider] branch dev/IDP-2147 deleted (was 60e312785)

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


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

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

     was 60e312785 IDP-2279 - incorrect filter template encoding

The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.

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


More information about the commits mailing list