Skip to content
This repository was archived by the owner on Oct 21, 2022. It is now read-only.

Corrected a couple minute typos #1

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

Corrected a couple minute typos #1

wants to merge 9 commits into from

Conversation

abhi18av
Copy link

No description provided.

@sbauer322
Copy link
Contributor

These changes look fine to me, thanks!

I am going to defer merging and approval to @rundis, as he is leading the developer's guide effort.

@abhi18av
Copy link
Author

Okay, I'll brushing up on the current work on a local branch for a while. Will submit PR when done)

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