Skip to content

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 Poolitzer added this to the 12.2 milestone Oct 10, 2019
@Poolitzer Poolitzer added ⚙️ documentation affected functionality: documentation 📋 pending-merge work status: pending-merge labels Oct 10, 2019
@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.

Labels

⚙️ documentation affected functionality: documentation 📋 pending-merge work status: pending-merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants