Completed
Pull Request — develop (#196)
by
unknown
05:41 queued 01:43
created

Changes

1 issue (informational) was introduced.
3 issues were fixed.
A B Configuration::getConfigTreeBuilder() got worse
9.38
▶   ± 0
Head
MKodde  
Merge 31a42d2335b5236518d282ce49086c6952352c99 into eacdb4f3a72e3446601c9e6233ee5860e1c39c80
3 more commits
Base
Michiel Kodde  
Merge remote-tracking branch 'origin/develop' into develop