Don't delete non-block edges unless they're at the top of a block
[?]
Nov 20, 2020, 9:38 PM
YACC5QR6WTVC3IJCCVH6GUYFU4KAPITOED43V2MDP3TVGLTL2NEQCDependencies
- [2]
L5PHFTIEMinor simplification - [*]
SXEYMYF7Fixing the bad changes in history (unfortunately, by rebooting).
Change contents
- edit in libpijul/src/diff/delete.rs at line 158[4.810684][2.0]
if graph_key.start != del_key.start && !v.flag.contains(EdgeFlags::BLOCK) {continue}