mirror of
https://github.com/MariaDB/server.git
synced 2026-05-17 20:37:12 +02:00
Merge 10.6 into 10.11
This commit is contained in:
commit
97b32c44c8
20 changed files with 275 additions and 233 deletions
|
|
@ -189,6 +189,9 @@ public:
|
|||
ListNode *prev= pos.node_->prev;
|
||||
ListNode *next= pos.node_->next;
|
||||
|
||||
DBUG_ASSERT(prev->next == pos.node_);
|
||||
DBUG_ASSERT(next->prev == pos.node_);
|
||||
|
||||
prev->next= next;
|
||||
next->prev= prev;
|
||||
|
||||
|
|
@ -202,7 +205,7 @@ public:
|
|||
}
|
||||
|
||||
void push_back(reference value) noexcept { insert(end(), value); }
|
||||
void pop_back() noexcept { erase(end()); }
|
||||
void pop_back() noexcept { erase(--end()); }
|
||||
|
||||
void push_front(reference value) noexcept { insert(begin(), value); }
|
||||
void pop_front() noexcept { erase(begin()); }
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue