commit: c3a4533e92a1b05f3e7a8102031a60e447a5fd4c
date: 2019-07-12 10:34:34 +0200
build-date: 2019-07-12 10:41:01 +0200
short: c3a4533
branch: mysql-8.0.17-release

MySQL source 8.0.17
