commit: 88d44cf92038947d40b7af4dc27295ccb611d0fc
date: 2017-06-27 13:00:43 +0200
build-date: 2017-06-27 13:44:43 +0200
short: 88d44cf
branch: mysql-8.0.2-dmr-release

MySQL source 8.0.2
