The pull request you sent on Mon, 13 May 2019 12:48:55 +0200:> git://www.linux-watchdog.org/linux-watchdog.git tags/linux-watchdog-5.2-rc1has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/55472bae5331f33582d9f0e8919fed8bebcda0daThank you!-- Deet-doot-dot, I am a bot.https://korg.wiki.kernel.org/userdoc/prtracker