The pull request you sent on Tue, 13 Nov 2018 21:32:42 +0000:> https://git.linaro.org/people/daniel.thompson/linux.git tags/kgdb-fixes-4.20-rc3has been merged into torvalds/linux.git:https://git.kernel.org/torvalds/c/9746e46737a143631a301be9a09fafdae3349138Thank you!-- Deet-doot-dot, I am a bot.https://korg.wiki.kernel.org/userdoc/prtracker