Skip to content

Rename Config to UserConfig#76

Merged
hujw77 merged 2 commits intomainfrom
echo/r
Nov 3, 2023
Merged

Rename Config to UserConfig#76
hujw77 merged 2 commits intomainfrom
echo/r

Conversation

@hujw77
Copy link
Collaborator

@hujw77 hujw77 commented Nov 3, 2023

  • typo
  • rename

@hujw77 hujw77 requested a review from jiguantong November 3, 2023 07:34
@hujw77 hujw77 merged commit 8c63613 into main Nov 3, 2023
@hujw77 hujw77 deleted the echo/r branch November 3, 2023 07:34
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.

1 participant