correction of typos #373

Merged
tobiasd merged 1 commit from 20160924-typos into master 2016-09-25 07:07:44 +02:00
tobiasd commented 2016-09-24 08:07:56 +02:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.