mirror of
https://github.com/MariaDB/server.git
synced 2025-07-29 05:21:33 +03:00
Merge dl145s.mysql.com:/data/bk/team_tree_merge/MERGE/mysql-5.0-opt
into dl145s.mysql.com:/data/bk/team_tree_merge/MERGE/mysql-5.1
This commit is contained in:
@ -8139,7 +8139,6 @@ end:
|
||||
DBUG_RETURN(result);
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
Get the next record with a different prefix.
|
||||
|
||||
@ -10791,7 +10790,6 @@ static void print_ror_scans_arr(TABLE *table, const char *msg,
|
||||
DBUG_VOID_RETURN;
|
||||
}
|
||||
|
||||
|
||||
/*****************************************************************************
|
||||
** Print a quick range for debugging
|
||||
** TODO:
|
||||
|
Reference in New Issue
Block a user