Merge branch 'timers/urgent' into timers/core

Merge urgent fix so depending cleanup patch can be applied.
This commit is contained in:
Thomas Gleixner 2019-01-15 16:35:14 +01:00
commit b17d1ce7ef