Completed
Pull Request — master (#1193)
by
unknown
08:43 queued 06:07
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 6b782e51f6fe3656c53c8ba90e7d3575bc3ed918 into 0c1b4c6ae7f9337235eb808f06773eb876715274
11 more commits
Base
Karel Souffriau  
Bump dev alias