Skip to content

[0.2.x] Fixes to digital compatibility shim#220

Merged
bors[bot] merged 5 commits into
rust-embedded:v0.2.xfrom
eldruin:v0.2.x-digital-fixes
Jun 10, 2020
Merged

[0.2.x] Fixes to digital compatibility shim#220
bors[bot] merged 5 commits into
rust-embedded:v0.2.xfrom
eldruin:v0.2.x-digital-fixes

Conversation

@eldruin

@eldruin eldruin commented Jun 10, 2020

Copy link
Copy Markdown
Member

I cherry-picked #138 and some improvements to docs and included #199.

@rust-highfive

Copy link
Copy Markdown

r? @ryankurte

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive

Copy link
Copy Markdown

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against v0.2.x. Please double check that you specified the right target!

@eldruin eldruin mentioned this pull request Jun 10, 2020
@ryankurte

Copy link
Copy Markdown
Contributor

thanks for the reminder, lgtm.

bors r+

@bors

bors Bot commented Jun 10, 2020

Copy link
Copy Markdown
Contributor

👎 Rejected by too few approved reviews

@ryankurte ryankurte left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

riight.

bors r+

@bors

bors Bot commented Jun 10, 2020

Copy link
Copy Markdown
Contributor

Build succeeded:

@bors bors Bot merged commit 20fad3e into rust-embedded:v0.2.x Jun 10, 2020
@eldruin eldruin deleted the v0.2.x-digital-fixes branch June 11, 2020 05:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Review is incomplete T-hal

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants