History of checkpoint 4 changes
In src/cli/workspace.rs, lines 1316–1329 on 206c76cad4bf2b61af35e9d48236b2e395a56aa73cd863c2bcd4a9610d580f10. 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 1316,1329:src/cli/workspace.rs.