eclipse/vert.x — pull request #864 by nscavell (2014-07-01 01:28:09+00:00)
Title: Manually merge PR https://github.com/eclipse/vert.x/pull/834

Assuming you verified the original PR was good :)