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)
commit333d78c5279b879a6fca42640d1e022719bdb787
treed832272f4dc8044d52f7983cd7390634212f7eb9
parentf4619f305e793525ee2ca2dedc3c019ae7590ec9
parent3a207c45621d284a01d161605bf570314a547933
Merge pull request #28469 from jaapjansma/language_clean_up

dev/core#4411: follow up PR of the language pr, this cleans up an unused functions