commit: 5df139285636564284a21b761a5a9a9d19486b96
date: 2020-05-05 12:31:29 +0200
build-date: 2020-05-05 12:34:07 +0200
short: 5df1392
branch: mysql-8.0.20-u2004-release

MySQL source 8.0.20
