Merge pull request #28469 from jaapjansma/language_clean_up
authorMatthew Wire <mjw@mjwconsult.co.uk>
Mon, 4 Dec 2023 14:57:28 +0000 (14:57 +0000)
committerGitHub <noreply@github.com>
Mon, 4 Dec 2023 14:57:28 +0000 (14:57 +0000)
dev/core#4411: follow up PR of the language pr, this cleans up an unused functions


Trivial merge