commit: f92f313368a2f2a8bed116085a407ce522f7a52c date: 2019-05-07 16:41:07 -0400 build-date: 2019-05-07 20:49:18 +0000 short: f92f313
branch: HEAD
MariaDB source 10.1.40