commit: 71214ef40e7cdbc0ec4a548097fc4abba514b424
date: 2020-10-08 19:57:27 +0200
build-date: 2020-10-08 18:28:38 +0000 
short: 71214ef
branch: HEAD


MySQL source 5.7.31

