mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-23 07:37:55 +00:00
Bumps [javax.servlet-api](https://github.com/javaee/servlet-spec) from 3.1.0 to 4.0.1. - [Release notes](https://github.com/javaee/servlet-spec/releases) - [Commits](https://github.com/javaee/servlet-spec/compare/3.1.0...4.0.1) Signed-off-by: dependabot[bot] <support@github.com>