ToJans/idris101 — pull request #7 by JefClaes (2014-12-17 11:31:56+00:00)
Title: Added @JefClaes to Members.

Added @JefClaes to Members.