Subject: Re: [GIT PULL] treewide: timers: Use timer_shutdown*() before freeing timers

From: Thomas Gleixner <[email-masked]>
Date: Mon, 07 Nov 2022 11:47:04 +0100

Linus,

On Sun, Nov 06 2022 at 22:32, Steven Rostedt wrote:
> As discussed here:
>
>   https://lore.kernel.org/all/[email-masked]/

Please hold off. It's only nits, but tip has documented rules and random
pull requests are not making them go away.

Thanks,

        tglx