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
