Update version to 7.2

5 jobs for master in 11 minutes and 11 seconds (queued for 1 minute and 33 seconds)
Status Job ID Name Coverage
  Build
passed #6088
ubuntu1604
build_ubuntu1604

00:00:32

passed #6089
ubuntu1804
build_ubuntu1804

00:00:32

passed #6090
ubuntu1804-gcc8
build_ubuntu1804-gcc8

00:00:31

passed #6091
vc191x
build_vc191x

00:08:11

passed #6092
vc192x
build_vc192x

00:07:28