On Thu, Jan 17, 2019 at 4:33 PM Thomas Monjalon <tho...@monjalon.net> wrote:
> 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. > Well, the reporter is most likely able to reproduce an issue and confirm it is fixed. So +1 for me. -- David Marchand