Skip to content
This repository has been archived by the owner on Feb 12, 2024. It is now read-only.

fix: repo gc error key name #2618

Merged
merged 1 commit into from
Nov 21, 2019
Merged

fix: repo gc error key name #2618

merged 1 commit into from
Nov 21, 2019

Conversation

alanshaw
Copy link
Member

@alanshaw alanshaw requested a review from dirkmc November 20, 2019 22:13
Copy link
Contributor

@dirkmc dirkmc left a comment

Choose a reason for hiding this comment

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

Nice catch

@alanshaw alanshaw merged commit 5a1d266 into master Nov 21, 2019
@alanshaw alanshaw deleted the fix/repo-gc-error-key-name branch November 21, 2019 09:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants