Skip to content

Fix error-index redirect to work with the back button.#106491

Merged
bors merged 2 commits intorust-lang:masterfrom
ehuss:error-index-redirect
Jan 6, 2023
Merged

Fix error-index redirect to work with the back button.#106491
bors merged 2 commits intorust-lang:masterfrom
ehuss:error-index-redirect

Commits

Commits on Jan 5, 2023