Hi, On Thu, Feb 16, 2023 at 10:14:00AM +0300, Mike Kaganski <mikekaganski@xxxxxxxxxxx> wrote: > > 5.4 : 0/41 - 0 % (+0) > > 5.3 : 0/54 - 0 % (+0) > > 5.2 : 0/43 - 0 % (+0) > > 5.1 : 0/35 - 0 % (+0) > > 5.0 : 0/64 - 0 % (+0) > > 4.4 : 0/76 - 0 % (+0) > > 4.3 : 0/73 - 0 % (+0) > > 4.2 : 2/134 - 1 % (+0) > > 4.1 : 2/85 - 2 % (+0) > > 4.0 : 1/82 - 1 % (+0) > > old : 1/246 - 0 % (+0) > > IMO, this section is long obsolete, and gives no value. Maybe it's time to > retire this section? :) Xisco: could you please give Mike a code pointer where is the script that generates this? Thanks, Miklos