Skip to content

docs: fixed "heuristics" typo#91

Merged
krlmlr merged 1 commit intor-lib:mainfrom
t-gummer:main
Feb 6, 2023
Merged

docs: fixed "heuristics" typo#91
krlmlr merged 1 commit intor-lib:mainfrom
t-gummer:main

Conversation

@t-gummer
Copy link
Contributor

@t-gummer t-gummer commented Feb 6, 2023

Fixed a small typo (grammatical error) I noticed in the documentation.

@krlmlr krlmlr changed the title fixed type in documentation docs: fixed "heuristics" typo Feb 6, 2023
@krlmlr krlmlr merged commit ad64806 into r-lib:main Feb 6, 2023
@krlmlr
Copy link
Member

krlmlr commented Feb 6, 2023

Thanks!

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 7, 2024
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