[java-idp-jetty-base] branch 12 updated (cf26578 -> cd87100)

[Rod Widdowson]

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

rdw pushed a change to branch 12
in repository java-idp-jetty-base.

    from cf26578  Extra parameterization to runjetty
     new c4f3416  Windows install bug fixes.
     new cd87100  Jerry 12.0.15

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 jetty-dist/pom.xml                                         |  2 +-
 jetty-impl/pom.xml                                         |  2 +-
 .../net/shibboleth/idp/module/jetty/config-jetty.bat       | 14 +++++++-------
 jetty-packages/pom.xml                                     |  2 +-
 pom.xml                                                    |  4 ++--
 5 files changed, 12 insertions(+), 12 deletions(-)

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