Completed
Push — master ( 5db772...c11af3 )
by Dmitry
07:44 queued 03:09
created

No notable changes

There were no notable changes in the changeset which was inspected.

6.91
▶   ± 0
Test Coverage
71%
▶ ±0%
Head
Dmitry Naumenko  
Merge pull request #10772 from lubosdz/master
1 more commit
Base
Carsten Brandt  
cleanup console namespace changes