On Fri, Dec 21, 2018 at 2:00 AM Thomas Monjalon <thomas at monjalon.net> wrote: > 18/12/2018 16:19, Arnon Warshavsky: > > Bugzilla ID: 165 > Thomas, I just noticed that the bz is still opened. Who is supposed to close bug reports ? -- David Marchand