Passed
Push — master ( 9b9d31...12ac9e )
by Nils
06:31
created

Changes

1 new patch (Spacing) is available.
7.22
▶   ± 0
Head
Nils Laumaillé  
Merge branch 'pr-4928'
2 more commits
Base
Nils Laumaillé  
Merge branch 'release/3.1.5.2'