[infinispan-issues] [JBoss JIRA] Updated: (ISPN-1077) Multiple leaves are not handled correctly with DIST