Completed
Push — master ( 6fc484...16ef45 )
by Jeroen De
04:14 queued 02:02
created

Changes

1 new patch (Spacing) is available.
8.58
▶   ± 0
Head
Jeroen De Dauw  
Merge pull request #21 from SemanticMediaWiki/rel100
3 more commits
Base
Jeroen De Dauw  
Merge pull request #14 from SemanticMediaWiki/PeterTheOne-patch-1