> On 24 Oct 2017, at 21:47, Stephane Ducasse <[email protected]> wrote: > > Hi > > are the pending PR reevaluated when one PR is integrated?
it was, but Guille disabled it because it was killing the server. when we jump to tonel we can re-evaluate the problem :) Esteban > > Stef >
