Merge pull request #15128 from neheb/ch
authorRosen Penev <rosenp@gmail.com>
Sun, 21 Mar 2021 01:36:46 +0000 (18:36 -0700)
committerGitHub <noreply@github.com>
Sun, 21 Mar 2021 01:36:46 +0000 (18:36 -0700)
check: update to 0.15.2


Trivial merge