tree 5b30ba75dc28a076372793589ad8cf8b1f272128
parent f367b7221739fc0cad140e4f0c5aa61246206de8
author dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> 1596086897 +0000
committer Marc Kupietz <kupietz@ids-mannheim.de> 1596105062 +0200

Bump jetty.version from 9.4.30.v20200611 to 9.4.31.v20200723 in /core

Bumps `jetty.version` from 9.4.30.v20200611 to 9.4.31.v20200723.

Updates `jetty-server` from 9.4.30.v20200611 to 9.4.31.v20200723
- [Release notes](https://github.com/eclipse/jetty.project/releases)
- [Commits](https://github.com/eclipse/jetty.project/compare/jetty-9.4.30.v20200611...jetty-9.4.31.v20200723)

Updates `jetty-servlet` from 9.4.30.v20200611 to 9.4.31.v20200723
- [Release notes](https://github.com/eclipse/jetty.project/releases)
- [Commits](https://github.com/eclipse/jetty.project/compare/jetty-9.4.30.v20200611...jetty-9.4.31.v20200723)

Updates `jetty-webapp` from 9.4.30.v20200611 to 9.4.31.v20200723
- [Release notes](https://github.com/eclipse/jetty.project/releases)
- [Commits](https://github.com/eclipse/jetty.project/compare/jetty-9.4.30.v20200611...jetty-9.4.31.v20200723)

Signed-off-by: dependabot[bot] <support@github.com>

Closes #98

Change-Id: If175a5eec9a3271280be8e1a7d58f99438d4479a