split by both path delimiters on windows

Altafen

Sep 15, 2021, 12:28 PM

KCGMOAKSKV55GN22DC6JA572CMNLB2FWYCQJ7HU52PV76FDL556AC

Dependencies

• [2] TTV4YIWF Correct path splitting on Windows
• [3] WZVCLZKY address clippy lints
• [4] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [5] BZSC7VMY address clippy lints

Change contents

• replacement in "libpijul/src/path.rs" at line 82
  [3.2863]→[3.670255:670287](∅→∅),[3.670255]→[3.670255:670287](∅→∅)
  − Components(path.split('/'))
  [3.2863]

  [2.22]
  + Components(path.split(&['/'][..]))
• replacement in "libpijul/src/path.rs" at line 87
  [2.87]→[2.87:120](∅→∅)
  − Components(path.split('\\'))
  [2.87]

  [3.670287]
  + Components(path.split(&['/', '\\'][..]))
• replacement in "libpijul/src/path.rs" at line 91
  [3.670307]→[3.670307:670361](∅→∅)
  − pub struct Components<'a>(std::str::Split<'a, char>);
  [3.670307]

  [3.670361]
  + pub struct Components<'a>(std::str::Split<'a, &'static [char]>);