I can take a look at the optimizer PRs On 8 Aug 2016 8:52 a.m., "Julian Hyde" <[email protected]> wrote:
> I shall be on vacation for the next 2 weeks. I’ll be less active on email. > Can you all make sure that pull requests get handled in a timely fashion? > > Julian > >
