17/01/2019 13:20, David Marchand: > On Fri, Dec 21, 2018 at 2:00 AM Thomas Monjalon <tho...@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 ?
I think we never formally described this workflow. I suggest to expect the bug reporter to close the bug. Comments? Should we update the website with this info?