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