Skip to content

redis: fix merge race#7943

Merged
mattklein123 merged 1 commit intoenvoyproxy:masterfrom
lizan:redis_merge_fix
Aug 16, 2019
Merged

redis: fix merge race#7943
mattklein123 merged 1 commit intoenvoyproxy:masterfrom
lizan:redis_merge_fix

Conversation

@lizan
Copy link
Copy Markdown
Member

@lizan lizan commented Aug 15, 2019

Signed-off-by: Lizan Zhou lizan@tetrate.io

Description:
Fix merge race of #7496 and #7922

Risk Level:
Testing:
Docs Changes:
Release Notes:

Signed-off-by: Lizan Zhou <lizan@tetrate.io>
Copy link
Copy Markdown
Member

@mattklein123 mattklein123 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, just saw this myself.

@mattklein123 mattklein123 merged commit 5a7bab7 into envoyproxy:master Aug 16, 2019
@lizan lizan deleted the redis_merge_fix branch August 16, 2019 00:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants