commit: 7e2732e647aad623319ffdac93c8579a4f37cdee
date: 2018-11-20 18:59:07 +0200
build-date: 2018-11-20 17:21:10 +0000 
short: 7e2732e
branch: release-5.7.23-25


MySQL source 5.7.23
