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