1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge 10.2 into 10.3

This commit is contained in:
Marko Mäkelä
2020-11-02 16:02:16 +02:00

View File

@ -14891,7 +14891,7 @@ const char *dbug_print_sel_arg(SEL_ARG *sel_arg)
break;
case SEL_ARG::KEY_RANGE:
default:
stype=nullptr;
stype= NULL;
}
if (stype)