tree fa9e82949ed8ba6c2ba500b0edee2400fc93fa85
parent 884dc9e980af846e102165d3a62e123272191f4c
parent a14c7c8bac14df071fe4095064b691f64c6b654b
author pingping-lin <pingping@onlab.us> 1444432455 +0000
committer Gerrit Code Review <gerrit@onlab.us> 1444432455 +0000

Merge "kill leader node for CASE12"