Github user eolivelli commented on the issue:
https://github.com/apache/zookeeper/pull/549
Doesn't the merge script do a squash?---
Github user eolivelli commented on the issue:
https://github.com/apache/zookeeper/pull/549
Doesn't the merge script do a squash?---