Skip to content

Conversation

@BennoLossin
Copy link
Contributor

@BennoLossin BennoLossin commented Jul 22, 2025

The @BennoLossin in the hackmd url gets interpreted as a github username and thus replaced by the url, which breaks the markdown.

Thus use %40 which encodes @ instead.

Sorry about the extra work, tested this locally first and it seems to work.

Rendered

The `@BennoLossin` in the hackmd url gets interpreted as a github
username and thus replaced by the url, which breaks the markdown.

Thus use `%40` which encodes `@` instead.
@lqd lqd merged commit 3dd0e71 into rust-lang:main Jul 22, 2025
2 checks passed
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