Completed
Pull Request — master (#578)
by Marc
01:57
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.

No notable changes

There were no notable changes in the changeset which was inspected.

8.81
▶   ± 0
Head
Marc Würth  
Merge d3f7a582558b9611d2b249f65122b93c2cb6d6c2 into a0627e91e8753f442eea6560cb347151cd306b2c
2 more commits
Base
Nicolas MURE  
Merge pull request #576 from clement-michelet/bugfix/filesystem-map-should-use-interface