Completed
Pull Request — development (#795)
by Nick
04:52
created

Configuration has changed

The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.

8.21
▶   ± 0
Head
Nick Lubisch  
Merge 1fe4bbfc154f3b7128bc17dcbbb11f1b7a4a9ab4 into 3fac1bacecb582b2e0f86c8c1244f082c0814754
12 more commits
Base
Thomas Eiling  
Merge pull request #793 from nlubisch/feature/improve-docker