Skip to content

Conversation

@robot-clickhouse
Copy link
Member

Original pull-request #12633
Cherry-pick pull-request #12883

This pull-request is a last step of an automated backporting.
Treat it as a standard pull-request: look at the checks and resolve conflicts.
Merge it only if you intend to backport changes to the target branch, otherwise just close it.

@robot-clickhouse robot-clickhouse added the pr-backport Changes, backported to release branch. Do not use manually - automated use only! label Jul 27, 2020
@alexey-milovidov alexey-milovidov merged commit 17f8e53 into 20.3 Jul 27, 2020
@alexey-milovidov alexey-milovidov deleted the backport/20.3/12633 branch July 27, 2020 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-backport Changes, backported to release branch. Do not use manually - automated use only!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants