Completed
Push — master ( b4b2b0...f965e3 )
by Dmitry
14s
created

No notable changes

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

6.75
▶   ± 0
Test Coverage
57%
▶ ±0%
Head
Dmitry Naumenko  
Merge pull request #13252 from githubjeka/patch-3
1 more commit
Base
Carsten Brandt  
better docs about decimal numbers in Formatter