diff options
author | Sergei Golubchik <serg@mariadb.org> | 2021-09-06 19:56:45 +0200 |
---|---|---|
committer | Sergei Golubchik <serg@mariadb.org> | 2021-09-07 21:15:51 +0200 |
commit | 76149650764ea9660ae05d4987ea6c91534851ab (patch) | |
tree | 734329771e49981ba8cc1f7d6fc002f2139c3030 /mysql-test/suite/parts/r/partition_t55.out | |
parent | d0a1ea3aca6ff68d6ab6b48fdf8ab1ec3d906dcb (diff) | |
download | mariadb-git-76149650764ea9660ae05d4987ea6c91534851ab.tar.gz |
fix spider SERVER_NAME detection
A version does not necessarily follow the ##.##.##-MariaDB-* pattern
But it's always MariaDB, what else?
Diffstat (limited to 'mysql-test/suite/parts/r/partition_t55.out')
0 files changed, 0 insertions, 0 deletions