History of bookmarks 3 changes

In crates/hub/src/coverage.rs, lines 539–544 on cb7b3cd45dc092cb7101d98f4cdb8d7b7f6f8b79e4044368dc952513ae14353b. 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 539,544:crates/hub/src/coverage.rs.