Completed
Push — master ( 3ebfae...59f261 )
by Jeroen De
28:33 queued 21:45
created

No notable changes

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

9.34
▶   ± 0
Test Coverage
99%
▶ ±0%
Head
Jeroen De Dauw  
Merge pull request #89 from wmde/diffIsEmpty
1 more commit
Base
Jeroen De Dauw  
Merge pull request #81 from wmde/upperbound