mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-sdk/opends/src/server/org/opends/server/replication/common/ServerState.java @@ -259,7 +259,7 @@ { ChangeNumber change = list.get(key); buffer.append(" "); buffer.append(change); buffer.append(change.toStringUI()); } }