Passed
Pull Request — master (#5024)
by
unknown
07:29
created

Changes

6 new patches (Spacing) are available.
6.42
▶   ± 0
Head
Guerric  
Merge 1ca37f5a5d2121f0472f4a24799ae4bcab1a1d04 into 3254be0cac44a9e42c94e0fdac4e9279996507be
8 more commits
Base
Nils Laumaillé  
Merge branch 'release/3.1.5.23'