Completed
Pull Request — master (#422)
by Yanick
02:56
created
9.9
▲   + 0.29
Test Coverage
88%
▶ ±0%
Head
Yanick Witschi  
Merge 580ffad4753160a25b2792e3492d7dbdee49fe0f into 88e4d4280aea8ff1941402834a5fa01411823c3d
6 more commits
Base
David Buchmann  
tweak doc titles