Merge pull request #18119 from demeritcowboy/document-hidden-buttons
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 10 Aug 2020 22:08:17 +0000 (08:08 +1000)
committerGitHub <noreply@github.com>
Mon, 10 Aug 2020 22:08:17 +0000 (08:08 +1000)
[NFC] Add code comments about hidden but still used buttons


Trivial merge