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-rc1
has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/55472bae5331f33582d9f0e8919fed8bebcda0da Thank you! -- Deet-doot-dot, I am a bot. https://korg.wiki.kernel.org/userdoc/prtracker
