History SOURCES/0007-manager-Don-t-clear-saved-session-if-autosaving-is-d.patch