Completed
Pull Request — master (#86)
by
unknown
01:15
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.

5.13
▶   ± 0
Head
Moritz Profitlich  
Merge b3701d6ffa60aae9f4b9c3aeb9454445e169c1a5 into 40d64e27d6182265eed65426da92cbf6e1847ba0
3 more commits
Base
Nicolas Brassard  
Release 2.3.1