[java-identity-provider] branch dev/IDP-1927 deleted (was 8d3e112a8)

[Codeberg]

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

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

     was 8d3e112a8 IDP-1927 Make Jetty run under its own credentials for windows installs

This change permanently discards the following revisions:

 discard 8d3e112a8 IDP-1927 Make Jetty run under its own credentials for windows installs
 discard f928216b5 IDP-1927 Make Jetty run under its own credentials for windows installs
 discard 7c7c8fedf IDP-1927 Make Jetty run under its own credentials for windows installs

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