mirror of
https://github.com/MariaDB/server.git
synced 2026-05-06 07:05:33 +02:00
Merge 10.11 into 11.0
This commit is contained in:
commit
2e431ff7e6
493 changed files with 7020 additions and 2604 deletions
|
|
@ -519,7 +519,7 @@ public:
|
|||
}
|
||||
|
||||
|
||||
virtual ~Stat_table() {}
|
||||
virtual ~Stat_table() = default;
|
||||
|
||||
/**
|
||||
@brief
|
||||
|
|
@ -1705,7 +1705,7 @@ protected:
|
|||
|
||||
public:
|
||||
|
||||
Count_distinct_field() {}
|
||||
Count_distinct_field() = default;
|
||||
|
||||
/**
|
||||
@param
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue