Completed
Pull Request — master (#423)
by Yanick
13:57 queued 11:12
created

Changes

1 issue (informational) was introduced.
9.9
▲   + 0.29
Test Coverage
88%
▶ ±0%
Head
Yanick Witschi  
Merge ff55cde1ddabc31e9929ebfd656fd883ede67619 into 88e4d4280aea8ff1941402834a5fa01411823c3d
3 more commits
Base
David Buchmann  
tweak doc titles