unsetNew_leader method

dynamic unsetNew_leader()

Implementation

unsetNew_leader() {
  this.new_leader = null;
}