Skip to content

Chore: Minor language improvements#1769

Merged
mergify[bot] merged 2 commits into
mainfrom
chore/minor_language_improvements
Dec 16, 2022
Merged

Chore: Minor language improvements#1769
mergify[bot] merged 2 commits into
mainfrom
chore/minor_language_improvements

Conversation

@BornToBeRoot

Copy link
Copy Markdown
Owner

Please provide some details about this pull request:


By submitting this pull request, I confirm the following:

@mergify mergify Bot merged commit 2003510 into main Dec 16, 2022
@mergify mergify Bot deleted the chore/minor_language_improvements branch December 16, 2022 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

installer garbled characters

1 participant