[dpdk-dev] [PATCH v2] devtools: fix error propagation from check-forbidden-tokens.awk

[Thomas Monjalon]

17/01/2019 13:20, David Marchand:
> 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 ?

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?