On 06/28/2017 08:54 AM, Yao Qi wrote: > Pedro Alves <palves@redhat.com> writes: > >> Here's the same patch with commit log updated to include the missing >> info, and also fix the silly typo in the filename in the >> subject/ChangeLog. > > That is clear. Patch is good to me. Patch is pushed, then. Thanks, Pedro Alves