commit: 42fac3241368ad72f8cfef2b8521269e6c173558
date: 2018-05-01 11:47:43 +0200
build-date: 2018-05-01 19:02:57 +0000 
short: 42fac32
branch: HEAD


MySQL source 10.0.35

