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

Merge remote-tracking branch 'origin/10.5' into 10.6

This commit is contained in:
Alexander Barkov
2024-07-08 18:52:21 +04:00
26 changed files with 875 additions and 454 deletions

View File

@@ -16564,6 +16564,7 @@ static
void print_range(String *out, const KEY_PART_INFO *key_part,
KEY_MULTI_RANGE *range, uint n_key_parts)
{
Check_level_instant_set check_field(current_thd, CHECK_FIELD_IGNORE);
uint flag= range->range_flag;
String key_name;
key_name.set_charset(system_charset_info);