Fri, 10 Jul 2020 12:27:58 +0200 Manuel Jacob procutil: ensure that procutil.std{out,err}.write() writes all bytes
Sat, 11 Jul 2020 07:47:04 +0200 Manuel Jacob procutil: move assignments
Fri, 10 Jul 2020 10:12:04 +0200 Manuel Jacob procutil: distribute code for stdout
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip