Completed
Push — master ( ed5122...05bfe1 )
by Jeroen De
34s
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.18
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Jeroen De Dauw  
Merge pull request #715 from wmde/fix-dont-enable-extension-if-already-enabled
2 more commits
Base
Jeroen De Dauw  
Merge pull request #712 from wmde/withDuplicates