ilyagr/pijul - Change 22JKXA5HCKPQBCDC3ETID7RGF62ARWX7RRQ72HEZXZ36IZLWVOWQC

Formatting

Created by pmeunier on January 19, 2022

22JKXA5HCKPQBCDC3ETID7RGF62ARWX7RRQ72HEZXZ36IZLWVOWQC

Dependencies

[2] 5UQO4QKBLH6DSUPKHIOQ5FMMJYCM6I7ZB6BP2POA5AYUX2MYXZCAC
[3] SXEYMYF7P4RZMZ46WPL4IZUTSQ2ATBWYZX7QNVMS3SGOYXYOHAGQC

In channels

main

Change contents

Replacement in pijul/src/remote/mod.rs at line 727 [3.52474]

B:BD[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;