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

Clip selection#5

Merged
fdionisi merged 3 commits intomasterfrom
clip-selection
Apr 29, 2019
Merged

Clip selection#5
fdionisi merged 3 commits intomasterfrom
clip-selection

Conversation

@fdionisi
Copy link
Copy Markdown
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
Copy Markdown

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

@fdionisi
Copy link
Copy Markdown
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
Copy Markdown

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.

3 participants