On Fri, 13 Oct 2017 16:13:16 -0300 Eduardo Habkost <ehabk...@redhat.com> wrote:
> On Thu, Oct 12, 2017 at 06:27:46PM +0200, Igor Mammedov wrote: > > On Thu, 5 Oct 2017 15:50:34 +0200 > > Igor Mammedov <imamm...@redhat.com> wrote: > > > > Eduardo, > > > > Could you merge series via machine tree, pls? > > I just queued it on machine-next. Pull request will be sent only > next week, though. > Thanks!
