Completed
Pull Request — master (#100)
by no
11:30 queued 08:24
created
9.99
▶   ± 0
Head
Thiemo Mättig  
Merge 2633b26d7d413ae1b42ef17823432c3e0cf94554 into f5dd2dd9b669e332dac10836c5a4162018814119
1 more commit
Base
Jeroen De Dauw  
Merge pull request #97 from wmde/docsOnly