1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge 11.4 into 11.6

This commit is contained in:
Marko Mäkelä
2024-09-04 10:38:25 +03:00
78 changed files with 1736 additions and 1273 deletions

View File

@ -610,7 +610,7 @@ public:
bool avg_frequency_is_inited() { return avg_frequency != NULL; }
double get_avg_frequency(uint i)
double get_avg_frequency(uint i) const
{
return (double) avg_frequency[i] / Scale_factor_avg_frequency;
}