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

external-software / github_OpenIdentityPlatform_OpenDJ

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

history | zip | gz

[#1038] Pin the session lock and generation of #974, and the restart a conf...

Valery Kharseko

5 days ago 918aed143217bf25967a2832d567588ae2c5c10c

	..			drwxr-xr-x
	Bug_report.md		999 b	-rw-r--r--	view \| raw \| blame \| history
	Feature_request.md		740 b	-rw-r--r--	view \| raw \| blame \| history