Completed
Pull Request — master (#373)
by Yanick
02:42
created
9.53
▼   -0.11
Test Coverage
89%
▼ -2%   –   Changes
Head
Yanick Witschi  
Merge 68c52eb672d4f802e807f2c1869e000e7655f181 into 10aa2f5c3270db844a7eb013ecd657c8ca0339b9
20 more commits
Base
David Buchmann  
link to 1.4 doc versions, not specific tag