branch_7_2 created

[Adrien Grand]

Hi all,

I just created the 7.2 branch. You may now merge again against branch_7x
for changes that can wait for 7.3 to be released. If you are working on a
7.2 bugfix, do not forget to backport to this new branch.