commit: 8638bb0c2e0ef87c1e4b9f2ba33d11a16cd173e9
date: 2021-11-16 13:20:58 +0200
build-date: 2021-11-16 15:16:06 +0000 
short: 8638bb0
branch: release-8.0.25


MySQL source 8.0.25

