Sat, 23 Sep 2023 18:45:28 +0100 merged default tip
paulson [Sat, 23 Sep 2023 18:45:28 +0100] rev 78686
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -1 tip