History of lock 3 changes

In src/cli/workspace.rs, lines 2338–2348 on 7fc365369758e86cee8fd05e469ace7b3285d7ce8b6779b12414e62a854e7a7f. 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 2338,2348:src/cli/workspace.rs.