Merge pull request #5294 from annando/use-gravity
authorHypolite Petovan <mrpetovan@gmail.com>
Thu, 28 Jun 2018 12:41:28 +0000 (08:41 -0400)
committerGitHub <noreply@github.com>
Thu, 28 Jun 2018 12:41:28 +0000 (08:41 -0400)
Use gravity instead of verb


Trivial merge