Great, that’s one less thing we need to worry about now. Saagar Jha > On Jun 4, 2018, at 04:32, Pedro Alves <palves@redhat.com> wrote: > > On 05/24/2018 01:44 PM, Pedro Alves wrote: >> Saagar, could you give this a try? > > I've merged this, given the discussion on the bug. > > Thanks, > Pedro Alves