Revision a912857fc413a4c68e8f2093fe815154dc836add

Committed on 23/09/2016 6:16 am by Philipp Kamps <pkamps@mugo.ca> [GitHub Diff]

Small type fixed