[GitHub] directory-server pull request #3: [DIRSERVER-2229] - Remove duplicated decla...

[coheigea]

Github user coheigea closed the pull request at:

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


---