Re: [GIT PULL] Remove get_kernel_pages() for v6.3

[pr-tracker-bot]

The pull request you sent on Sun, 19 Feb 2023 21:35:16 +0100:

> https://git.linaro.org/people/jens.wiklander/linux-tee.git tags/remove-get_kernel_pages-for-6.3

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/d644c670ef24189a93945528720ed545d77dc514

Thank you!

-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html