On Thu, Oct 27, 2016 at 2:16 PM, Pedro Alves <palves@redhat.com> wrote: > > Ah yes, sorry, I should have read the code in more detail. > I agree, totally makes sense to do this here. > So, the patch is OK to commit? :-) -- Yao (齐尧)