commit: c14eb5bd99fc06bb7596643e25924592794e9c68
date: 2020-06-12 09:26:08 +0200
build-date: 2020-06-12 16:19:14 +0200
short: c14eb5b
branch: mysql-cluster-7.5.19-release

MySQL source 5.7.31
