Remove useless 'mut'
authorGreg Burri <greg.burri@gmail.com>
Tue, 19 Sep 2023 08:47:55 +0000 (10:47 +0200)
committerGreg Burri <greg.burri@gmail.com>
Tue, 19 Sep 2023 08:47:55 +0000 (10:47 +0200)
commitbec02443ba73a7d138fb1a16684995ceb8bfc065
tree0a5fdcbdec1e58225088c97076adc1070aa85931
parentcbe5e6d643cafbb36dc0e2019651900a0623938a
Remove useless 'mut'
src/main_loop.rs