commit: 3672fb2ad9f6c91cd2527866d46fa583b70bfefd
date: 2018-10-07 10:41:27 +0200
build-date: 2018-10-07 10:44:40 +0200
short: 3672fb2
branch: mysql-8.0.13-release

MySQL source 8.0.13
