Correct typings for themr#39
Merged
javivelasco merged 5 commits intojavivelasco:masterfrom Jan 20, 2017
Merged
Commits
Commits on Dec 24, 2016
- authored
Oden
Commits on Jan 6, 2017
- authoredOden
- authoredOden
- authoredOden
Commits on Jan 12, 2017
- authoredOden