Léo Lam 6e02af1b34 Core: Remove unneeded config save
We don't touch the user config during booting, so there is nothing to
manually save.
2017-06-03 18:08:50 +02:00
..
2017-06-03 18:08:50 +02:00
2017-05-28 13:37:31 +02:00
2017-05-27 18:28:57 -07:00