Hi all, we should be releasing 7.2.0.CR1 on Friday and we have several pending PRs that need to be reviewed and pushed by then. Can I please ask everybody to spend some extra time reviewing and pushing these ? Thanks Tristan -- Tristan Tarrant Infinispan Lead JBoss, a division of Red Hat