Completed
Push — 6.13 ( 6ed770...d2d231 )
by André
26:48 queued 13:42
created

Changes

1 new patch (Doc Comments) is available.
8.32
▶   ± 0
Head
André R  
Merge branch '6.12' into 6.13
1 more commit
Base
André R  
Merge branch '6.12' into 6.13