History of merge 1 change

In src/cli/workspace.rs, lines 720–741 on d8c086ca3eb21f1c4e721408bb9c05cbc98085ddbe200b7492e895c11f3f2d15. 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.