On 11/12/2016 11:39 AM, Denis Davydov wrote:
> So, I simply suggest that we
>
> - create a separate tag for issues found by static analyzer
>
> - also tag the other 50 open bugs that have no tag at all.
agreed on both accounts.
That shouldn't be too complicated. Do you want me to do that retroactively?
It's easy to script.
Best
W>
--
------------------------------------------------------------------------
Wolfgang Bangerth email: [email protected]
www: http://www.math.colostate.edu/~bangerth/
--
You received this message because you are subscribed to the Google Groups "deal.II
developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
