Skip to content

make that link hyper#379

Merged
bors[bot] merged 2 commits intomainfrom
href
Feb 9, 2021
Merged

make that link hyper#379
bors[bot] merged 2 commits intomainfrom
href

Conversation

@spookyvision
Copy link
Copy Markdown
Contributor

there's a link to the stable website, and now it's clickable!

Comment thread book/src/introduction.md Outdated
Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>
@spookyvision
Copy link
Copy Markdown
Contributor Author

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Feb 9, 2021

Build succeeded:

@bors bors Bot merged commit d849ad4 into main Feb 9, 2021
@bors bors Bot deleted the href branch February 9, 2021 15:57
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.

3 participants