Skip to content
This repository has been archived by the owner on Apr 14, 2021. It is now read-only.

Vendor thor 1.0.0 #7480

Merged
1 commit merged into from Dec 14, 2019
Merged

Vendor thor 1.0.0 #7480

1 commit merged into from Dec 14, 2019

Conversation

deivid-rodriguez
Copy link
Member

What was the end-user problem that led to this PR?

The problem was that thor 1.0.0 has been released, so we should vendor it.

What is your fix for the problem, implemented in this PR?

My fix is to vendor it.

Copy link
Member

@hsbt hsbt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@deivid-rodriguez
Copy link
Member Author

@bundlerbot r=hsbt

ghost pushed a commit that referenced this pull request Dec 14, 2019
7480: Vendor thor 1.0.0 r=hsbt a=deivid-rodriguez

### What was the end-user problem that led to this PR?

The problem was that `thor` 1.0.0 has been released, so we should vendor it.

### What is your fix for the problem, implemented in this PR?

My fix is to vendor it.

Co-authored-by: David Rodríguez <deivid.rodriguez@riseup.net>
@deivid-rodriguez
Copy link
Member Author

Missed one change.

@bundlerbot r-

@ghost
Copy link

ghost commented Dec 14, 2019

Canceled

@deivid-rodriguez
Copy link
Member Author

@bundlerbot merge

ghost pushed a commit that referenced this pull request Dec 14, 2019
7480: Vendor thor 1.0.0 r=deivid-rodriguez a=deivid-rodriguez

### What was the end-user problem that led to this PR?

The problem was that `thor` 1.0.0 has been released, so we should vendor it.

### What is your fix for the problem, implemented in this PR?

My fix is to vendor it.

Co-authored-by: David Rodríguez <deivid.rodriguez@riseup.net>
@deivid-rodriguez deivid-rodriguez added this to the 2.1.0 milestone Dec 14, 2019
@ghost
Copy link

ghost commented Dec 14, 2019

Build succeeded

@ghost ghost merged commit 6e2e192 into master Dec 14, 2019
@ghost ghost deleted the vendor/thor_1_0 branch December 14, 2019 13:13
deivid-rodriguez pushed a commit that referenced this pull request Dec 15, 2019
7480: Vendor thor 1.0.0 r=deivid-rodriguez a=deivid-rodriguez

### What was the end-user problem that led to this PR?

The problem was that `thor` 1.0.0 has been released, so we should vendor it.

### What is your fix for the problem, implemented in this PR?

My fix is to vendor it.

Co-authored-by: David Rodríguez <deivid.rodriguez@riseup.net>
(cherry picked from commit 935c727)
This pull request was closed.
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.

None yet

2 participants