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

Additional fix for issue 3964: enable high priority check-pointer by defaul...

matthew_swift

04.08.2009 823cfa622f7e2c2a85c38c6a43946b328092d11b