Skip to content

Correct the anchor of an URL in an error message#120200

Merged
bors merged 1 commit intorust-lang:masterfrom noritada:fix/broken-error-message-linkJan 22, 2024

Commits

Commits on Jan 21, 2024