Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: cac4d94b131e35b2d46482c3fbf02aa5de63311a
https://github.com/jenkinsci/jenkins/commit/cac4d94b131e35b2d46482c3fbf02aa5de63311a
Author: Jesse Glick <[email protected]>
Date: 2023-05-01 (Mon, 01 May 2023)
Changed paths:
M .idea/encodings.xml
M pom.xml
M war/pom.xml
R websocket/jetty9/pom.xml
R websocket/jetty9/src/main/java/jenkins/websocket/Jetty9Provider.java
Log Message:
-----------
Remove WebSocket support for Jetty 9 (#7101)
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkinsci/jenkins/push/refs/heads/master/7a75b7-cac4d9%40github.com.
