Skip to content

Fix duplicate get_special_user in get_db#395

Merged
bors[bot] merged 1 commit intomasterfrom
apiserver-getdb-race
Aug 6, 2020
Merged

Fix duplicate get_special_user in get_db#395
bors[bot] merged 1 commit intomasterfrom
apiserver-getdb-race

Conversation

@sleirsgoevy
Copy link
Copy Markdown
Collaborator

No description provided.

@sleirsgoevy sleirsgoevy force-pushed the apiserver-getdb-race branch from b8aaf30 to 3d3b877 Compare August 6, 2020 20:30
@MikailBag
Copy link
Copy Markdown
Member

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Aug 6, 2020

Build succeeded:

@bors bors Bot merged commit 4ab2187 into master Aug 6, 2020
@bors bors Bot deleted the apiserver-getdb-race branch August 6, 2020 20:36
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