Skip to content

Relax doc collision error.#9595

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:ws-doc-collision-back-compat
Jun 18, 2021
Merged

Relax doc collision error.#9595
bors merged 1 commit intorust-lang:masterfrom
ehuss:ws-doc-collision-back-compat

Commits

Commits on Jun 17, 2021