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)
commit566e93509ab4b40c3446c7dd50f72f49409ae252
tree6d38c67be187cc416caa0bd8f47a725583de661f
parent77be447264240b6a99c757088d07cbdf1397a6ad
parentf4b8bef73b08a835dc7bdbf97b5c99612e9dcb2d
Merge pull request #16693 from eileenmcnaughton/prior

[NFC] Fix comments, use single quotes