Completed
Push — develop ( 8b432d...18f015 )
by Mathias
10:27 queued 05:28
created

Changes

1 new patch (Spacing) is available.
8.87
▶   ± 0
Head
Mathias Gelhausen  
Merge pull request #485
1 more commit
Base
Mathias Gelhausen  
Merge pull request #486