Re: [infinispan-dev] Infinispan 5.1.2.CR1 is out