Build #17 (May 31, 2018, 11:21:44 PM)

1. Update style (commit: 9d86294) (details / githubweb)
2. Make progress bar work (commit: 45e2966) (details / githubweb)
3. Update dependencies (commit: 409a486) (details / githubweb)
4. Update contribution instructions (commit: 6c6dda6) (details / githubweb)
5. Remove temp folders after kill (commit: 89ad9ec) (details / githubweb)
6. Bugfixes (commit: 1f54b14) (details / githubweb)
7. Update style (commit: 447327d) (details / githubweb)

Started by GitHub push by severinsimmler

• origin/testing