Re: [infinispan-dev] transaction recovery design document