1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

Merge branch '11.0' into 11.1

This commit is contained in:
Sergei Golubchik
2023-09-24 01:46:43 +02:00
82 changed files with 2519 additions and 467 deletions

View File

@@ -5776,7 +5776,6 @@ int LEX::print_explain(select_result_sink *output, uint8 explain_flags,
query_time_in_progress_ms=
(now - start_time) / (HRTIME_RESOLUTION / 1000);
res= explain->print_explain_json(output, is_analyze,
true /* is_show_cmd */,
query_time_in_progress_ms);
}
else