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