On 7 May 2013, at 17:57, Sanne Grinovero wrote: > You can avoid half a day of trouble by merging the trivial pulls I've set a week ago ;-) you mean last Sunday? :-) Cheers, -- Mircea Markus Infinispan lead (www.infinispan.org)