1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Merge 10.10 into 10.11

This commit is contained in:
Marko Mäkelä
2023-10-23 18:44:12 +03:00
33 changed files with 1171 additions and 55 deletions

View File

@ -583,9 +583,7 @@ public:
*/
bool no_stat_values_provided()
{
if (column_stat_nulls == no_values_provided_bitmap())
return true;
return false;
return (column_stat_nulls == no_values_provided_bitmap());
}
};