Fixing file touched date

[?]
Apr 30, 2021, 7:58 PM
USVVIGBIJETFKAIIIZIBOE4KEXB3GNPGF5WQIJHEDDES5GWSXGNAC

Dependencies

  • [2] YN63NUZO Sanakirja 1.0
  • [3] 27PYHR6L Making the get_latest_touch function (useful to make archives) public in libpijul
  • [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

  • replacement in libpijul/src/fs.rs at line 945
    [2.134012][2.134012:134079]()
    if txn.get_touched_files(pos, Some(&p.a))?.is_some() {
    [2.134012]
    [2.134079]
    let touched = txn.get_touched_files(pos, Some(&p.a))?;
    if touched == Some(&p.a) {