Completed
Push — master ( 9d55dc...ebcbf8 )
by Christophe
09:51
created

Changes

5 issues (5 minor) were introduced.
5 issues were fixed.
9.31
▶   ± 0
Test Coverage
68%
▶ ±0%   –   Changes
Head
Christophe Coevoet  
Merge branch '4.0.x'
5 more commits
Base
Karel  
Merge pull request #1261 from EmmanuelVella/defer-console-terminate