Merge pull request #43 from apache/dependabot/maven/jakarta.servlet-jakarta.servlet...
authorJochen Wiedmann <jochen.wiedmann@gmail.com>
Thu, 5 Nov 2020 22:36:14 +0000 (23:36 +0100)
committerGitHub <noreply@github.com>
Thu, 5 Nov 2020 22:36:14 +0000 (23:36 +0100)
commitbf7157c065c9708cbb31700812a6e98ca7dbb5ab
tree493a6d2e9ff6cde4191a619b9fcf30fe8db3fdae
parent60d4c29485b4ee3d5af8c8f0ded3e8a85983c826
parent59a057f43a4190a4d13539fec1716989b0a6e9fd
Merge pull request #43 from apache/dependabot/maven/jakarta.servlet-jakarta.servlet-api-5.0.0

Bump jakarta.servlet-api from 5.0.0-M1 to 5.0.0