Completed
Pull Request — master (#725)
by no
07:19 queued 03:34
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 #725 from wmde/snakListSee
1 more commit
Base
Daniel Kinzler  
Merge pull request #719 from wmde/release700