ToJans/idris101 — pull request #4 by manpages (2014-12-08 10:25:01+00:00)
Title: Add Jonn Mostovoy

Ditto