Skip to content

Attempt to fix mdbook v0.2.2 issue by using v0.2.1#58

Merged
bors[bot] merged 1 commit into
masterfrom
mdbook-v0.2.2-workaround
Oct 20, 2018
Merged

Attempt to fix mdbook v0.2.2 issue by using v0.2.1#58
bors[bot] merged 1 commit into
masterfrom
mdbook-v0.2.2-workaround

Conversation

@therealprof

Copy link
Copy Markdown
Contributor

v0.2.2 was just released but does not include the relevant packages yet so install.sh fails

v0.2.2 was just released but does not include the relevant packages yet so install.sh fails
@therealprof therealprof requested a review from a team October 20, 2018 13:16
@therealprof

Copy link
Copy Markdown
Contributor Author

bors try

bors Bot added a commit that referenced this pull request Oct 20, 2018
@bors

bors Bot commented Oct 20, 2018

Copy link
Copy Markdown
Contributor

try

Build succeeded

@jamesmunns jamesmunns left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Ah, thanks @therealprof, could you please open an issue so we don't forget to back this out?
bors r+

bors Bot added a commit that referenced this pull request Oct 20, 2018
58: Attempt to fix mdbook v0.2.2 issue by using v0.2.1 r=jamesmunns a=therealprof

v0.2.2 was just released but does not include the relevant packages yet so install.sh fails

Co-authored-by: Daniel Egger <daniel@eggers-club.de>
@bors

bors Bot commented Oct 20, 2018

Copy link
Copy Markdown
Contributor

Build succeeded

@bors bors Bot merged commit 95b768e into master Oct 20, 2018
@bors bors Bot deleted the mdbook-v0.2.2-workaround branch October 20, 2018 13:30
bors Bot added a commit to rust-embedded/discovery that referenced this pull request Oct 23, 2018
136: Force use of mdbook 0.2.1 as 0.2.2 is broken for now r=therealprof a=adamgreig

See rust-embedded/book#58

Co-authored-by: Adam Greig <adam@adamgreig.com>
bors Bot added a commit to rust-embedded/embedonomicon that referenced this pull request Nov 10, 2018
31: Force use of mdbook 0.2.1 as 0.2.2 is broken for now r=jamesmunns a=adamgreig

See rust-embedded/book#58

Co-authored-by: Adam Greig <adam@adamgreig.com>
njmartin10 pushed a commit to njmartin10/book that referenced this pull request Nov 10, 2018
58: Attempt to fix mdbook v0.2.2 issue by using v0.2.1 r=jamesmunns a=therealprof

v0.2.2 was just released but does not include the relevant packages yet so install.sh fails

Co-authored-by: Daniel Egger <daniel@eggers-club.de>
bors Bot added a commit to rust-embedded/embedonomicon that referenced this pull request Nov 10, 2018
31: Force use of mdbook 0.2.1 as 0.2.2 is broken for now r=therealprof a=adamgreig

See rust-embedded/book#58

Co-authored-by: Adam Greig <adam@adamgreig.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants