Completed
Push — master ( b6b976...da2840 )
by mw
73:16 queued 50:13
created
8.31
▶   ± 0
Test Coverage
85%
▶ ±0%
Head
mwjames  
Merge pull request #1610 from mediawiki4intranet/fix-pgsql
2 more commits
Base
mwjames  
Merge pull request #1608 from SemanticMediaWiki/info