Merge pull request #12660 from eduardoabinader/check_0.15
authorRosen Penev <redacted>
Tue, 30 Jun 2020 21:32:51 +0000 (14:32 -0700)
committerGitHub <redacted>
Tue, 30 Jun 2020 21:32:51 +0000 (14:32 -0700)
commitf4a57aca0fd390425b39e9837a121e79e73d8e5f
tree6bf04138aad1cf75530e6ec9352f1cfcbb9917d4
parent3ae230aee20088cca2f9908434a799aa6c0248ab
parent884f8fe04fe800e4d107da717da58a9c5f071e9b
Merge pull request #12660 from eduardoabinader/check_0.15

check: bump 0.15.0
git clone https://git.99rst.org/PROJECT