Skip to content
GitLab
Explore
Sign in
Register
Remove unneeded uses of 'mut'
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ian Douglas Scott
requested to merge
ids1024:mut
into
master
Aug 11, 2017
Overview
0
Commits
1
Pipelines
0
Changes
3
Expand
This seems to be a warning with the latest Rust, and an error due to #![deny(warnings)]
Merge request reports