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

mrossign
02.44.2009 49f2c6f7165ea94640716230c610a154a7f502d5
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());
      }
    }