Skip to content

Cherry pick #17845 to 20.12: SpaceSaving remove last element from map fix#18038

Merged
robot-clickhouse merged 15 commits intobackport/20.12/17845from
cherrypick/20.12/8df478911323771ff94aada88cf79a82b6a7822e
Dec 13, 2020
Merged

Cherry pick #17845 to 20.12: SpaceSaving remove last element from map fix#18038
robot-clickhouse merged 15 commits intobackport/20.12/17845from
cherrypick/20.12/8df478911323771ff94aada88cf79a82b6a7822e

Conversation

@robot-clickhouse
Copy link
Copy Markdown
Member

Original pull-request #17845

This pull-request is a first step of an automated backporting.
It contains changes like after calling a local command git cherry-pick.
If you intend to continue backporting this changes, then resolve all conflicts if any.
Otherwise, if you do not want to backport them, then just close this pull-request.

The check results does not matter at this step - you can safely ignore them.
Also this pull-request will be merged automatically as it reaches the mergeable state, but you always can merge it manually.

@robot-clickhouse robot-clickhouse added do not test disable testing on pull request pr-cherrypick Cherry-pick of merge-commit before backporting. Do not use manually - automated use only! labels Dec 13, 2020
@robot-clickhouse robot-clickhouse merged this pull request into backport/20.12/17845 Dec 13, 2020
@robot-clickhouse robot-clickhouse deleted the cherrypick/20.12/8df478911323771ff94aada88cf79a82b6a7822e branch December 13, 2020 03:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do not test disable testing on pull request pr-cherrypick Cherry-pick of merge-commit before backporting. Do not use manually - automated use only!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants