| commit | 9f029f3af81571c700c192e9058accdb0acc219f | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Tue Feb 28 09:18:38 2023 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Tue Feb 28 09:18:38 2023 +0100 |
| tree | 79e19b330a3d15f720a4ed9bc87afa10fcb63b37 | |
| parent | 73c407703e4b4c4d000e24d0b12cdef0be65707c [diff] |
New Jetty versions 10.14 and 11.14 available.
diff --git a/jetty/MirrorJetty.jenkinsfile b/jetty/MirrorJetty.jenkinsfile index ab3a9c2..5bda154 100644 --- a/jetty/MirrorJetty.jenkinsfile +++ b/jetty/MirrorJetty.jenkinsfile
@@ -28,7 +28,7 @@ choice( name: 'JETTY_VERSION', - choices: ['10.0.13', '11.0.13'], + choices: ['10.0.14', '11.0.14'], description: ''' Choose the <a href="https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-p2">Jetty version</a> to build. '''