Completed
Push — master ( de1e0f...22186d )
by Gabriel
201:56 queued 136:52
created

No notable changes

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

9.29
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Gabriel Birke  
Merge pull request #1081 from wmde/cat17_interval-order
1 more commit
Base
Gabriel Birke  
Merge pull request #1075 from wmde/rmunuseduse