Completed
Pull Request — master (#218)
by no
05:21 queued 02:43
created

Changes

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