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