Mon, 14 Jan 2019 15:11:15 -0500 just focus on the unsafe deletes in a hopefully branch-safe fashion 0.9.25
nemo [Mon, 14 Jan 2019 15:11:15 -0500] rev 14589
just focus on the unsafe deletes in a hopefully branch-safe fashion
Mon, 14 Jan 2019 15:01:43 -0500 aaagh can't just move delete like that due to our RNG scrambling... reverting on branch. we'll just have to take our chances w/ the bad code 0.9.25
nemo [Mon, 14 Jan 2019 15:01:43 -0500] rev 14588
aaagh can't just move delete like that due to our RNG scrambling... reverting on branch. we'll just have to take our chances w/ the bad code
Mon, 14 Jan 2019 19:26:24 +0100 Rename the special "none" key in frontend
Wuzzy <Wuzzy2@mail.ru> [Mon, 14 Jan 2019 19:26:24 +0100] rev 14587
Rename the special "none" key in frontend
Mon, 14 Jan 2019 12:35:32 -0500 branch merge
nemo [Mon, 14 Jan 2019 12:35:32 -0500] rev 14586
branch merge
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip