jetty.project/jetty-ee10/jetty-ee10-websocket
Joakim Erdfelt 044a3be744
Merge pull request #12245 from jetty/release/12.0.13
Merge back release 12.0.13
2024-09-11 09:45:12 -05:00
..
jetty-ee10-websocket-jakarta-client next snapshot 2024-09-03 21:44:43 +10:00
jetty-ee10-websocket-jakarta-client-webapp next snapshot 2024-09-03 21:44:43 +10:00
jetty-ee10-websocket-jakarta-common next snapshot 2024-09-03 21:44:43 +10:00
jetty-ee10-websocket-jakarta-server next snapshot 2024-09-03 21:44:43 +10:00
jetty-ee10-websocket-jakarta-tests next snapshot 2024-09-03 21:44:43 +10:00
jetty-ee10-websocket-jetty-client-webapp next snapshot 2024-09-03 21:44:43 +10:00
jetty-ee10-websocket-jetty-server next snapshot 2024-09-03 21:44:43 +10:00
jetty-ee10-websocket-jetty-tests Merge pull request #12245 from jetty/release/12.0.13 2024-09-11 09:45:12 -05:00
jetty-ee10-websocket-servlet next snapshot 2024-09-03 21:44:43 +10:00
pom.xml next snapshot 2024-09-03 21:44:43 +10:00