Homebrew/homebrew — pull request #27811 by domoritz (2014-03-23 22:40:31+00:00)
Title: gringo 4.3.0

Upgrade gringo.