replication: rename a return pipe from tx to tx_prio
There are two different pipes: 'tx' and 'tx_prio'. The latter does not support yield(). Rename it to avoid misunderstanding. Needed for #3397
Loading
Please register or sign in to comment
There are two different pipes: 'tx' and 'tx_prio'. The latter does not support yield(). Rename it to avoid misunderstanding. Needed for #3397