4 commits

Author	SHA1	Message	Date
habibitcoin	0b1e881d18	scripted-diff: replace ⛰ emoji with $ [skip ci] ... -BEGIN VERIFY SCRIPT- sed -i 's/⛰/$/g' $(git grep -l '⛰') -END VERIFY SCRIPT-	2022-10-28 12:06:49 -04:00
Dimitris Apostolou	530a2059e5	multi: Fix typos [skip ci]	2022-01-24 12:19:02 +02:00
Andras Banki-Horvath	c9533bf6b9	docs: update leader election docs [skip ci]	2021-11-01 16:30:13 +01:00
Andras Banki-Horvath	f41771ce54	docs: leader election docs	2021-07-06 16:21:26 +02:00