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