Skip to content

Remove mut when not needed#953

Merged
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:remove-mut
May 5, 2023
Merged

Remove mut when not needed#953
ehuss merged 1 commit intorust-lang:masterfrom
ehuss:remove-mut

Commits

Commits on May 5, 2023