On 8/15/2014 1:38 PM, Saul Wold wrote: >> -PR = "r1" >> +PR = "r2" >> > You don't need the PR bump anymore, just leave it set to r1 > > Sau! > OK, I have update the commit in the contrib branch with PR = r1. Nitin