Merge pull request #16693 from eileenmcnaughton/prior
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 9 Mar 2020 06:23:16 +0000 (17:23 +1100)
committerGitHub <noreply@github.com>
Mon, 9 Mar 2020 06:23:16 +0000 (17:23 +1100)
[NFC] Fix comments, use single quotes


Trivial merge