Re: [infinispan-dev] The need for an Infinispan 5.1.2 release