[infinispan-dev] Infinispan 5.1.3.CR1 is out now