The pull request you sent on Sun, 14 Jul 2019 14:13:45 +0000: > https://lab.nexedi.com/kirr/linux.git stream_open-5.3 has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/fcd98147ac71f35b69e2f50b5fddc5524dd2dfa8 Thank you! -- Deet-doot-dot, I am a bot. https://korg.wiki.kernel.org/userdoc/prtracker
