The source project of this merge request has been removed.
Fix installation version, we have 7.2 now
Change the branch name of cloning source to 7.2!! This also needs to be cherry picked to 7.2 stable branch
/cc @JobV @jacobvosmaer @marin
ps: unfortunately, there is mo