commit: 9f0fd0abb003e95af3b7fd161a81ee0238b303bf
date: 2016-10-18 08:37:50 +0200
build-date: 2016-10-18 07:54:51 +0000 
short: 9f0fd0a
branch: HEAD


MySQL source 5.7.15
