The pull request you sent on Mon, 15 Feb 2021 19:39:49 -0000:> git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git timers-core-2021-02-15has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/3f6ec19f2d05d800bbc42d95dece433da7697864Thank you!-- Deet-doot-dot, I am a bot.https://korg.docs.kernel.org/prtracker.html