Completed
Push — master ( e7cc44...8da214 )
by Carsten
07:11
created

No notable changes

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

6.91
▶   ± 0
Test Coverage
71%
▶ ±0%
Head
Carsten Brandt  
more docs for #10701
2 more commits
Base
Alexander Makarov  
Merge pull request #10696 from githubjeka/patch-1