Formatting

pmeunier

Jan 19, 2022, 3:31 PM

22JKXA5HCKPQBCDC3ETID7RGF62ARWX7RRQ72HEZXZ36IZLWVOWQC

Dependencies

• [2] 5UQO4QKB Pulling patches from a remote that we know of, but do not yet have on the channel
• [3] DO2Y5TY5 Tag synchronisation
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• replacement in pijul/src/remote/mod.rs at line 727
  [2.152]→[2.152:283](∅→∅)
  − if txn.channel_has_state(txn.states(&current_channel.read()), &p.b).unwrap().is_some() {

  − break
  [2.152]

  [2.283]
  + if txn

  + .channel_has_state(txn.states(&current_channel.read()), &p.b)

  + .unwrap()

  + .is_some()

  + {

  + break;