History of merge 1 change

In src/cli/workspace.rs, lines 720–741 on 957fee30826e9be3fbcdea234962be2f3104ebbe4ab4395f9a169ae98ba7885b. Every change that wrote or deleted one of these lines, or deleted a line from between them. Exact, because each line keeps its identity across edits; edits elsewhere in the file are not here. Also: oxy log -L 720,741:src/cli/workspace.rs.