Completed
Push — master ( 8cc1eb...ac00c7 )
by Marc
03:27
created

No notable changes

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

8.85
▶   ± 0
Head
Marc Stampfli  
Enabled all flags; Closes #1243
Base
Basil Suter  
closes #1244