cbmi/varify — pull request #128 by naegelyd (2014-02-25 17:31:42+00:00)
Title: Upgrade to Cilantro 2.2.15

Fix #127.