commit: a920dd6371b666b7c46759d690cdd3523f6c5e1d
date: 2018-12-19 18:31:11 +0200
build-date: 2018-12-19 16:36:26 +0000 
short: a920dd6
branch: release-8.0.13-3


MySQL source 8.0.13
