mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9246fe | patch | commitdiff
Ludovic Poitou
23.20.2011 60139f7c149add88a4ddcf5b4a8cb9be733c74ab
refs
author Ludovic Poitou <ludovic.poitou@forgerock.com>
Friday, December 23, 2011 11:20 +0100
committer Ludovic Poitou <ludovic.poitou@forgerock.com>
Friday, December 23, 2011 11:20 +0100
commit60139f7c149add88a4ddcf5b4a8cb9be733c74ab
tree 78077b4cd8c921a247be4f21c0e3c4388a82c02f tree | zip | gz
parent 9246fe58bbf73e2c1710dec9c9ceace14efd379e view | diff 
Fix minor optimization proposed by FindBugs.
1 files modified
4 ■■■■■ changed files
opends/src/server/org/opends/server/replication/server/ReplicationDraftCNKey.java 4 ●●●●● diff | view | raw | blame | history