Passed
Pull Request — master (#5036)
by
unknown
12:20 queued 05:49
created

Changes

1 new patch (Spacing) is available.
6.3
▶   ± 0
Head
Cosme Domínguez  
Merge 6a6b2312a15f1de1b8064843be962e45aa21708e into 561fa93b0b94ed8ef74a85a63825efb9885e1cfa
1 more commit
Base
Nils Laumaillé  
Merge branch 'release/3.1.5.26'