commit: fdf0f4c2503b207d040f009176c761c7ea6398c1
date: 2020-06-15 19:16:50 +0300
build-date: 2020-06-15 16:44:49 +0000 
short: fdf0f4c
branch: release-8.0.13


MySQL source 8.0.20
