Leave no Reopen record when a restored Workspace's unused replacement closes - #1005

Leave no Reopen record when a restored Workspace's unused replacement closes#1005

nedtwigg merged 1 commit into

maindiffplug/dormouse:mainfrom

fix/pended-workspace-replacement-reopen-recorddiffplug/dormouse:fix/pended-workspace-replacement-reopen-recordCopy head branch name to clipboard