increase version number to 9.3

6 jobs for master in 10 minutes and 7 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #14951
macos
build_macos

00:03:58

passed #14952
ubuntu1604
build_ubuntu1604

00:00:36

passed #14953
ubuntu1804
build_ubuntu1804

00:01:09

passed #14954
ubuntu1804-gcc8
build_ubuntu1804-gcc8

00:00:38

passed #14955
vc191x
build_vc191x

00:10:07

passed #14956
vc192x
build_vc192x

00:09:25