Re: [GIT PULL 00/15] perf/core improvements and fixes

2014-10-15 Thread Ingo Molnar
* Arnaldo Carvalho de Melo wrote: > Hi Ingo, > > Please consider pulling, I guess the changes are minor of affect just > some > non-core feature, so it is you call if you prefer to pull it into perf/urgent > instead. > > Best Regards, > > - Arnaldo > > The following changes since com

[GIT PULL 00/15] perf/core improvements and fixes

2014-10-15 Thread Arnaldo Carvalho de Melo
Hi Ingo, Please consider pulling, I guess the changes are minor of affect just some non-core feature, so it is you call if you prefer to pull it into perf/urgent instead. Best Regards, - Arnaldo The following changes since commit ec4212d88a77eb6caec10777ddd629b702a5ebbd: Merge tag