Merge pull request #25685 from eileenmcnaughton/dep_2020
authorYashodha Chaku <yashodha@cividesk.com>
Tue, 28 Feb 2023 03:16:00 +0000 (08:46 +0530)
committerGitHub <noreply@github.com>
Tue, 28 Feb 2023 03:16:00 +0000 (08:46 +0530)
Remove function noisily deprecated when the world was young (2020)


Trivial merge