commit: d9fba7f5fc13d1c8a987d9b2daa19059c3069a9d
date: 2020-10-15 13:50:39 +0200
build-date: 2020-10-20 07:19:58 +0000 
short: d9fba7f
branch: HEAD


MySQL source 8.0.20

