Completed
Pull Request — master (#76)
by Jeroen De
02:36
created
8.91
▶   ± 0
Head
Jeroen De Dauw  
Merge d26b0361310c26a6bbfe99a2e4d2bcb03956825c into 01a6e96eabcde6028bc916069c85816d739e6a3b
1 more commit
Base
manicki  
Merge pull request #74 from wmde/manames