Merge pull request #19411 from eileenmcnaughton/deprecate_add
authorMatthew Wire <mjw@mjwconsult.co.uk>
Mon, 18 Jan 2021 10:05:39 +0000 (10:05 +0000)
committerGitHub <noreply@github.com>
Mon, 18 Jan 2021 10:05:39 +0000 (10:05 +0000)
Deprecate Pledge::add() function


Trivial merge