The pull request you sent on Sat, 8 Feb 2020 22:34:46 +0100:
git://git.kernel.org:/pub/scm/linux/kernel/git/arnd/playground.git tags/compat-ioctl-fix
has been merged into torvalds/linux.git: https://git.kernel.org/torvalds/c/b85080c106b1290eaebf100ee97babef833047d8
Thank you!