Re: [GIT PULL 0/9] perf/urgent fixes

From: Arnaldo Carvalho de Melo
Date: Wed Mar 07 2018 - 09:23:48 EST


Em Wed, Mar 07, 2018 at 09:22:58AM +0100, Ingo Molnar escreveu:
> Pulled, thanks a lot Arnaldo!

> Note that there's a new, minor conflict between perf/core and perf/urgent - I
> resolved it and merged perf/urgent into perf/core, please double check my
> resolution.

Thanks, everything seems well and dandy,

- Arnaldo