[GitHub] directory-server pull request #1: Jetty 9 upgrade

[ebourg]

Github user ebourg closed the pull request at:

    https://github.com/apache/directory-server/pull/1


---