mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ecf0db | patch | commitdiff
maximthomas
12.57.2025 67ec87eb408ac99daf73234bc6590669a38bf11b
refs
author maximthomas <maxim.thomas@gmail.com>
Tuesday, August 12, 2025 08:57 +0200
committer maximthomas <maxim.thomas@gmail.com>
Tuesday, August 12, 2025 08:57 +0200
commit67ec87eb408ac99daf73234bc6590669a38bf11b
tree 0236691ae01c0f2ef3e85d2f80f69abc28a0fda2 tree | zip | gz
parent ecf0dbe9a6c6b2100689f9bb59b1a358133f786d view | diff
7ecbee91475928d9c50285afc4fcb294c219980d view | diff 
Merge branch 'master' into update-jdk-12
5 files modified
13 ■■■■■ changed files
opendj-core/pom.xml 1 ●●●●● diff | view | raw | blame | history
opendj-doc-generated-ref/pom.xml 2 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/main/java/org/opends/server/backends/pluggable/BackendImpl.java 3 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/main/java/org/opends/server/backends/pluggable/OnDiskMergeImporter.java 5 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/main/java/org/opends/server/util/Platform.java 2 ●●●●● diff | view | raw | blame | history