Fix a small typo (#3907)

This commit is contained in:
Barry Warsaw 2024-08-16 18:15:14 -07:00 committed by GitHub
parent a77a621c8d
commit 5d475023e5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -147,7 +147,7 @@ manually configure them to get the correct binaries for their platform, GPU,
CPU, etc.
This use case is similar to the first, but the important difference that makes
it a distinct use case on it's own is who is providing the information and what
it a distinct use case on its own is who is providing the information and what
their level of trust is.
When a user configures a specific repository (or relies on the default) there