13
0

There is no need to save after region cleanup

This commit is contained in:
Robin Gareus 2020-05-19 18:09:09 +02:00
parent 61d11347b6
commit 8592e96d5c
Signed by: rgareus
GPG Key ID: A090BCE02CF57F04

View File

@ -3308,11 +3308,6 @@ Session::cleanup_regions ()
}
}
}
/* dump the history list */
_history.clear ();
save_state ("");
}
bool