Passed
Pull Request — master (#5009)
by
unknown
05:57
created

Changes

1 new patch (Spacing) is available.
6.8
▶   ± 0
Head
Guerric  
Merge 0ccff07dede180ae06966867c85891a045b6a348 into d895420191fd79bb83fe216fc620f81d9479ace2
9 more commits
Base
Nils Laumaillé  
Merge branch 'release/3.1.5.17'