On Sun, Jul 20, 2014 at 07:50:17AM +0800, Paul Wise wrote: > I think that would probably just add more noise to debian-devel. Maybe "general" bugs should go to debian-user instead?