commit: 7ce54a6deefd7260123398596f5b6c10180865f7
date: 2017-12-11 09:56:49 +0200
build-date: 2017-12-11 06:43:03 -0500 
short: 7ce54a6deef
branch: HEAD


MySQL source 5.7.20
