Juergen Hoeller 6d9736acd0 Direct reference to PushBuilder API on Servlet 5.0 baseline ...

See gh-29435

2024-02-28 19:14:30 +01:00

..

src

Direct reference to PushBuilder API on Servlet 5.0 baseline

2024-02-28 19:14:30 +01:00

spring-webmvc.gradle

Upgrade to Jetty 12

2023-09-04 14:03:29 +02:00