Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Small fixes for the v0.5 of the guide after review #1706

Closed
wants to merge 4 commits into from

Conversation

paulvt
Copy link
Contributor

@paulvt paulvt commented Jun 15, 2021

While brushing up my knowledge of the upcoming 0.5 features, I read through the entire guide and ran into a few small issues. Trying to help out with #1329 a bit, this PR fixes those issues.

Notes:

The URI example is not referring to the handler defined in the previous
subsection (Deriving `UriDisplay`) but to the handler in the subsection
before that (Typed URIs). Unhiding brings that definition into
rememberance for the user again so the example makes sense.
@paulvt paulvt force-pushed the reviewed-guide-small-fixes branch from a431a1a to 009a5b1 Compare June 15, 2021 20:03
@paulvt
Copy link
Contributor Author

paulvt commented Jun 15, 2021

In light of the already existing PR #1690, I removed the IRC channel Libera.Chat fix commit.

Copy link
Collaborator

@jebrosen jebrosen left a comment

Choose a reason for hiding this comment

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

These changes all look good to me!

@jebrosen
Copy link
Collaborator

Merged in c1b1408.

@jebrosen jebrosen closed this Jun 18, 2021
@jebrosen jebrosen added the pr: merged This pull request was merged manually. label Jun 18, 2021
@paulvt paulvt deleted the reviewed-guide-small-fixes branch June 18, 2021 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr: merged This pull request was merged manually.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants