Skip to content

Remove unnecessary mut, minor fixes#1032

Merged
andrew-fleming merged 3 commits intoOpenZeppelin:mainfrom andrew-fleming:remove-unnecessary-mutJul 2, 2024