[GitHub] directory-server pull request #9: Ehcache v3 update

[elecharny]

Github user elecharny closed the pull request at:

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


---