OSDN Git Service

Merge branch 'timers/urgent' into timers/core
authorThomas Gleixner <tglx@linutronix.de>
Tue, 15 Jan 2019 15:35:14 +0000 (16:35 +0100)
committerThomas Gleixner <tglx@linutronix.de>
Tue, 15 Jan 2019 15:35:14 +0000 (16:35 +0100)
Merge urgent fix so depending cleanup patch can be applied.


Trivial merge