Merge pull request #13479 from elkablo/master
authorRosen Penev <rosenp@gmail.com>
Thu, 24 Sep 2020 01:31:19 +0000 (18:31 -0700)
committerGitHub <noreply@github.com>
Thu, 24 Sep 2020 01:31:19 +0000 (18:31 -0700)
ctop: fix install phase


Trivial merge