Merge pull request #12062 from stintel/drop_maintainership
authorRosen Penev <rosenp@gmail.com>
Thu, 7 May 2020 23:58:02 +0000 (16:58 -0700)
committerGitHub <noreply@github.com>
Thu, 7 May 2020 23:58:02 +0000 (16:58 -0700)
Drop maintainership


Trivial merge