Merge commit '900cfa46191a7d87cf1891924cb90499287fd235'; branches 'timers/nohz',...
authorThomas Gleixner <tglx@linutronix.de>
Mon, 14 Jul 2008 16:09:05 +0000 (18:09 +0200)
committerThomas Gleixner <tglx@linutronix.de>
Mon, 14 Jul 2008 16:09:05 +0000 (18:09 +0200)

Trivial merge