History of lock 3 changes

In src/cli/workspace.rs, lines 1951–1961 on 98a1620a3840a7dc026e58ba7014a13ce09a7b370b85845b00d72f5f369ebef0. 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 1951,1961:src/cli/workspace.rs.