Completed
Push — devel ( 80d3bf...06eb3c )
by Miguel
03:19
created

Changes

1 new patch (Spacing) is available.
7.48
▶   ± 0
Head
Miguel Balparda  
Merge pull request #1189 from sr972/master
2 more commits
Base
Miguel Balparda  
Merge pull request #1182 from gewaechshaus/patch-1