Completed
Push — 7.2 ( 8374a9...2dce28 )
by André
43:06 queued 25:57
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.56
▶   ± 0
Head
André R  
Merge branch '6.13' into 7.2
2 more commits
Base
André R  
Merge branch '6.13' into 7.2