commit: 091dce24c4a827854ffab77da78ac60c573d2373
date: 2019-01-02 14:04:04 +0100
build-date: 2019-01-02 14:10:10 +0100
short: 091dce2
branch: mysql-cluster-7.5.13-release

MySQL source 5.7.25
