More flexible timestamp format in record: allow both formats

pmeunier

Feb 24, 2023, 8:10 AM

5QB3HZFV5FLU7BBWRIX4F5DC4RDERS6ZJ6LO7J7IEEQ33OH6S7RQC

Dependencies

• [2] NS36CJCO Validating timestamps in record
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• edit in pijul/src/commands/record.rs at line 62
  [2.272]

  [2.272]
  + if let Ok(t) = s.parse() {

  + return Ok(t)

  + }