external-software/github_OpenIdentityPlatform_OpenDJ.git - g.central-computer.de

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

blame | history | raw

Backport r9159, r9160

Mark Craig

03.11.2013 36dfddedf5b5386a830e1eb0ae2de5a281efccf6