Oct. 24, 2017
7:49 p.m.
On 24 Oct 2017, at 21:47, Stephane Ducasse <stepharo.self@gmail.com> 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