Completed
Pull Request — master (#1193)
by
unknown
16:25 queued 07:13
created

Changes

1 issue (minor) was introduced.
2 issues were fixed.
B A Configuration improved
9.29
▲   + 0.03
Test Coverage
70%
▶ ±0%
Head
Michael Weibel  
Merge 08c150afe23700dd68938beee594771528ddb3ff into 0c1b4c6ae7f9337235eb808f06773eb876715274
9 more commits
Base
Karel Souffriau  
Bump dev alias