Merge branch 'jetty-9.4.x' into jetty-10.0.x

This commit is contained in:
Joakim Erdfelt 2019-11-14 11:32:47 -06:00
commit 8c05e4385e
No known key found for this signature in database
GPG Key ID: 2D0E1FB8FE4B68B4
2 changed files with 2 additions and 5 deletions

View File

@ -8,12 +8,11 @@ assignees: ''
**Jetty version:**
**OS version:**
**Java version:**
**OS/Type version:**
**Description:**
**Steps to reproduce:**

View File

@ -9,8 +9,6 @@ assignees: ''
**Jetty version:**
**OS version:**
**Java version:**
**Question:**