some more notices and some code beautification #691

Merged
annando merged 1 commit from more-notices into develop 2018-08-08 09:29:33 +02:00
annando commented 2018-08-08 08:27:00 +02:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.