Merge pull request #16688 from eileenmcnaughton/prior
authorMatthew Wire <mjw@mjwconsult.co.uk>
Thu, 5 Mar 2020 18:09:09 +0000 (18:09 +0000)
committerGitHub <noreply@github.com>
Thu, 5 Mar 2020 18:09:09 +0000 (18:09 +0000)
commite5263f5e285e7769b6e380684bac09f618667fad
tree23e97f4282fa89c8c36a514921b3c2434d07bae2
parent11b2e4a03f0fca2d8cf490fc2c9227b5b221f503
parent69b92558f2606aa27e7d304cea0e4810b6953579
Merge pull request #16688 from eileenmcnaughton/prior

Mark unused function as deprecated