commit: 3e7ca7c243248affd1167e4e366826e94e2b191b
date: 2019-01-11 10:37:55 +0200
build-date: 2019-01-11 08:39:33 +0000 
short: 3e7ca7c
branch: HEAD


MySQL source 5.7.19
