We have 7.2 now :metal:
Merge branch 'fix_installation_version' into 'master'

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 :metal: gemoji :(

See merge request !174