commit: a5b2e523c881ab8c68fd0adb478a6232dd69e522
date: 2019-06-25 11:50:40 +0200
build-date: 2019-06-25 12:24:04 +0200
short: a5b2e52
branch: mysql-8.0.17-release

MySQL source 8.0.17
