[java-idp-jetty-base] branch dev/12.1 deleted (was d2daa37)

[Rod Widdowson]

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

rdw pushed a change to branch dev/12.1
in repository java-idp-jetty-base.

     was d2daa37  Fix version in properties

This change permanently discards the following revisions:

 discard d2daa37  Fix version in properties
 discard 166bc69  Jetty 12.1.0.alpha0

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