The pull request you sent on Sat, 9 Nov 2019 10:54:43 +0100:> git://www.linux-watchdog.org/linux-watchdog.git tags/linux-watchdog-5.4-rc7has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/4aba1a7ed563d1c0b153377f57f4d213776ea573Thank you!-- Deet-doot-dot, I am a bot.https://korg.wiki.kernel.org/userdoc/prtracker