Skip to content

Docs - remove unnecessary mut that gives a warning#99657

Merged
bors merged 1 commit intomasterfrom
unknown repository
Jul 24, 2022
Merged

Docs - remove unnecessary `mut` that gives a warning#99657
bors merged 1 commit intomasterfrom
unknown repository

Commits

Commits on Jul 24, 2022