Completed
Pull Request — master (#218)
by no
07:50 queued 04:18
created

No notable changes

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

9.84
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Thiemo Mättig  
Merge 35082856e9c7c6663be812c75416089ce68990d8 into 01337b4539c9061c9fb882a9194d20b9662554c4
1 more commit
Base
Jeroen De Dauw  
Merge pull request #217 from wmde/addElement