Completed
Push — master ( 613848...797d6e )
by Gabriel
147:36 queued 82:44
created

Changes

2 new patches (Spacing, Braces) are available.
9.3
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Gabriel Birke  
Merge pull request #1144 from wmde/isanonymous
2 more commits
Base
Jeroen De Dauw  
Merge pull request #1145 from wmde/cat17-kill-errorbox