Completed
Push — 7.2 ( 3ade54...c7e5e4 )
by André
21:05 queued 01:31
created
8.55
▶   ± 0
Head
André R  
Merge branch '6.13' into 7.2
4 more commits
Base
André R  
Merge branch '6.13' into 7.2