Remove unnecessary mut
authorTomas Wenström <tomas.wenstrom@gmail.com>
Sun, 7 Jul 2019 13:17:02 +0000 (15:17 +0200)
committerTomas Wenström <tomas.wenstrom@gmail.com>
Sun, 7 Jul 2019 13:17:02 +0000 (15:17 +0200)
commit93679b275e75fd6a1401a6735e6453746ddceebb
treea63a7abdf7f6e07fca39e343e1269d50a493309d
parent787dbfb4e03fdc6c6cfdb153e0e8fab2eb3ab2d1
Remove unnecessary mut
src/app.rs