I'd say proceed without the changes. As Everett pointed in previous comments there will always be pull requests to merge and reasons to delay the release.
This is a minor, and don't see those PRs as blocker, so I think we should proceed with the release. El 08/10/2014 18:32, "Adrian Cole" <adrian.f.c...@gmail.com> escribió: > PS 2 of the 3 Inbar PRs need change. One trivially. There's a jewish > holiday that prevents him from changing these today. Either we change > on his behalf, delay or proceed. > > Anyone have a preference? > -A > > On Wed, Oct 8, 2014 at 7:33 AM, Andrew Phillips <aphill...@qrmedia.com> > wrote: > >> If the release hasn't already started, I might see if these are easy > >> merges. Has the release lever been pulled? > > > > > > Nope, there's still time. I'll hold until those PRs are in unless we > uncover > > something major in them that needs more time. > > > > Thanks for raising this! > > > > ap >