On Thu, Aug 09, 2018 at 05:39:36PM +0000, tech wrote: > Should'nt be time to move away from an old mail-listing to something more modern like a bugzilla or else ??? No.