Skip to content
This repository was archived by the owner on Jan 24, 2022. It is now read-only.

Discard .ARM.extab.* #170

Merged
merged 1 commit into from
Jan 22, 2019
Merged

Discard .ARM.extab.* #170

merged 1 commit into from
Jan 22, 2019

Conversation

phil-opp
Copy link
Contributor

Fixes #157

@phil-opp phil-opp requested a review from a team as a code owner January 21, 2019 14:57
@phil-opp phil-opp mentioned this pull request Jan 21, 2019
Closed
japaric
japaric approved these changes Jan 22, 2019
View reviewed changes
Copy link
Member

@japaric japaric left a comment

Choose a reason for hiding this comment

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

LGTM, but #171 needs to land first to fix CI.

@therealprof
Copy link
Contributor

bors r=japaric

bors bot added a commit that referenced this pull request Jan 22, 2019
@bors @phil-opp
Merge #170
f791717 
170: Discard .ARM.extab.* r=japaric a=phil-opp

Fixes #157 

Co-authored-by: Philipp Oppermann <dev@phil-opp.com>
@bors
Copy link
Contributor

bors bot commented Jan 22, 2019

Build succeeded

@bors bors bot merged commit 79bba49 into rust-embedded:master Jan 22, 2019
@phil-opp phil-opp deleted the phil-opp-patch-1 branch January 22, 2019 18:02
@phil-opp phil-opp restored the phil-opp-patch-1 branch January 22, 2019 18:02
@phil-opp phil-opp deleted the phil-opp-patch-1 branch February 1, 2019 10:11
@phil-opp phil-opp mentioned this pull request Feb 1, 2019
Closed
@danksz danksz mentioned this pull request Sep 24, 2020
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@japaric japaric japaric approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@phil-opp @therealprof @japaric