commit: ebc42becd93a710c5211ece09c13fd34e8e7866f
date: 2023-06-03 15:43:40 +0200
build-date: 2023-06-03 13:50:18 +0000 
short: ebc42be
branch: release-5.7.42


MySQL source 5.7.42
