History of gc 5 changes

In src/cli/workspace.rs, lines 1536–1571 on 9935d490ddfbccef8cf6a702ef91e10ae9cd847f3bfcc1aa64c8a5e0603d89f3. 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 1536,1571:src/cli/workspace.rs.