Wed, 27 Jul 2022 13:17:32 +0200 wenzelm tuned;
Wed, 27 Jul 2022 13:13:59 +0200 wenzelm clarified while-loops;
Wed, 27 Jul 2022 12:49:31 +0200 wenzelm updated to postgresql-42.4.0;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip