Build #1717 (25.06.2018 15:14:22)

1. minor cleanup (commit: 653b0e0) (detail / githubweb)
2. boss cleanup (commit: 827f40a) (detail / githubweb)
3. some fixes (commit: a3fc28e) (detail / githubweb)
4. migrate to new stdlib (commit: c4f403e) (detail / githubweb)

Gestartet durch vorgelagertes Projekt StdLib2, Build 707
ursprünglich ausgelöst durch:

• Gestartet durch Benutzer frotty

• origin/master