Stephane Ducasse Tue, 24 Oct 2017 12:48:16 -0700
Hi are the pending PR reevaluated when one PR is integrated?
Stef