Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixed typos in the comments of example files #1522

Closed
wants to merge 1 commit into from
Closed

Fixed typos in the comments of example files #1522

wants to merge 1 commit into from

Conversation

jonowo
Copy link
Contributor

@jonowo jonowo commented Oct 1, 2019

No description provided.

@Poolitzer Poolitzer mentioned this pull request Oct 10, 2019
@Poolitzer
Copy link
Member

We apparently cant type at all, thanks so much :)

@Poolitzer
Copy link
Member

Only "problem" I have with your PR is that you neither give your branch an appropriate name, nor add yourself to the author file, but I think we can ignore this. If you'd like to do the appropriate changes, feel free to though :)

@jonowo
Copy link
Contributor Author

jonowo commented Oct 10, 2019

idk how to fix the branch thing lol
Would have to open a new PR?

@Poolitzer
Copy link
Member

yep, you'd have to

@jonowo jonowo mentioned this pull request Oct 10, 2019
@jonowo
Copy link
Contributor Author

jonowo commented Oct 10, 2019

See #1537
Also, I am already in authors

@jonowo jonowo closed this Oct 10, 2019
@Poolitzer
Copy link
Member

hm, my bad then.

@Poolitzer Poolitzer removed this from the 12.2 milestone Oct 10, 2019
@github-actions github-actions bot locked and limited conversation to collaborators Aug 20, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants