Skip to content
This repository was archived by the owner on May 14, 2024. It is now read-only.

Conversation

@fdionisi
Copy link
Owner

@coler706 I took the freedom of adding changes requested to your PR – I hope that's fine 😊 (and that this changes are good enough)

@felixrabe
Copy link

Is there an original PR, and if so, where?

@fdionisi
Copy link
Owner Author

You are right – I should have referenced it!
Original PR: atom#132

@fdionisi fdionisi mentioned this pull request Apr 21, 2019
40 tasks
@fdionisi fdionisi merged commit 15e3f01 into master Apr 29, 2019
@ckissane
Copy link

ckissane commented May 7, 2019

Perfectly Fine!

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.

4 participants