1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge 10.6 into 10.10

This commit is contained in:
Marko Mäkelä
2023-10-23 18:43:36 +03:00
31 changed files with 1168 additions and 52 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());
}
};