Hi, Michael! On Apr 13, Michael Widenius wrote:

revision-id: 22fb7f8995c (mariadb-10.5.2-122-g22fb7f8995c) parent(s): faf8de3aa98 author: Michael Widenius committer: Michael Widenius timestamp: 2020-04-09 01:37:02 +0300 message:

Updated client and server to use new binary names in --debug traces

ok to push Regards, Sergei VP of MariaDB Server Engineering and security@mariadb.org