Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: 7ed8046d84794a4f0df168a82a3e5e2c579dbd0f
https://github.com/jenkinsci/jenkins/commit/7ed8046d84794a4f0df168a82a3e5e2c579dbd0f
Author: Basil Crow <[email protected]>
Date: 2023-05-05 (Fri, 05 May 2023)
Changed paths:
M .github/dependabot.yml
M core/pom.xml
M websocket/spi/pom.xml
Log Message:
-----------
Compile WebSocket SPI against more recent version of Servlet API (#7916)
--
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/ac2fc8-7ed804%40github.com.
