Completed
Pull Request — master (#373)
by Yanick
02:49
created
9.52
▼   -0.12
Test Coverage
89%
▼ -2%   –   Changes
Head
Yanick Witschi  
Merge 0e3d337e5e1e43cfc802d2ef74997c82432c5c38 into 10aa2f5c3270db844a7eb013ecd657c8ca0339b9
10 more commits
Base
David Buchmann  
link to 1.4 doc versions, not specific tag