commit: edb1852c653d143bdfbabcd76a48f170f636b7c3
date: 2018-06-28 17:46:28 +0200
build-date: 2018-06-28 18:18:44 +0200
short: edb1852
branch: mysql-8.0.12-release

MySQL source 8.0.12

