On martedì 29 dicembre 2020 13:03:07 CET Michał Górny wrote: > @ago, could you make sure that the tinderbox tells people to read up > on the tracker?
I added the note. However the first thing I would to do in reports like this is at least click on the tracker bug. -- Agostino