Re: [infinispan-dev] Infinispan 7.2.0.CR1 released!