On Sun, Jan 31, 2021 at 02:56:07PM +0000, Mark Linimon wrote: > (hmm. The output is two weeks old now. Let me take care of that as > soon as I finish today's emails.) Done: repojail% grep duplicate_symbol regresslogs.out.html | wc -l 142 mcl