Re: [GIT pull] timer fixes for 4.19

[Greg Kroah-Hartman]

On Sat, Sep 29, 2018 at 08:25:47PM +0200, Thomas Gleixner wrote:
> Greg,
> 
> please pull the latest timers-urgent-for-linus git tree from:
> 
>    git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git timers-urgent-for-linus

Now pulled, thanks.

greg k-h