**** BEGIN LOGGING AT Tue Oct 16 02:59:59 2018 Oct 16 07:43:52 good morning Oct 16 16:23:03 valgrind-3.14 has been released - 3.13 is 1.5 years old.... upgrade maybe? Oct 16 16:23:47 for thud, I mean. Oct 16 16:45:39 send a patch and see where it sticks Oct 16 17:07:03 Jin|away: ah! that makes perfect sense in retrospect.. hindsight.. **** ENDING LOGGING AT Wed Oct 17 02:59:59 2018