mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-sdk/opends/src/server/org/opends/server/synchronization/common/ChangeNumberGenerator.java @@ -121,7 +121,7 @@ if (lastTime > rcvdTime) return; else lastTime = lastTime++; lastTime = rcvdTime++; } } }