13:46:52pdietzRandom testing is not finding bugs except for another even smaller example of 1824351, which has been open for some years now. The recently introduced bugs all seem to have been fixed, at least to the satisfaction of the random tester.
14:08:23Krystofwe only need to deal with systematic bugs
15:00:24pdietzI am rarely seeing a weird failure in internal hashing dealing with types, when running the rtp tests. It's not easily reproducible. This has been happening for a while.
15:01:04pdietzNext time it happens I'll submit a bug report even if I can't give a reproducing input.