Merge pull request #11270 from eduardoabinader/bump_check_0.14
authorRosen Penev <rosenp@gmail.com>
Fri, 7 Feb 2020 17:56:15 +0000 (09:56 -0800)
committerGitHub <noreply@github.com>
Fri, 7 Feb 2020 17:56:15 +0000 (09:56 -0800)
check: bump 0.14.0


Trivial merge