Bug Digest 5/11

[Giovanni Bajo]

Steven Bosscher <s.bosscher@student.tudelft.nl> wrote:

>> Close
>> 6680 (problem has changed, and I asked the submitter to open a new
>> report for the new problem, can someone confirm if this is the correct
>> way to do things?)
> Don't know so didn't touch.

It's the correct way, but Dara, can you please send a mail to the audit
trail explaining the situation? This way, we can close it with a proper
reason being logged.

> All of these _are_ open AFAICT.  Did you mean "analyzed"?  Most of these
> are just "confirmed" so I'll leave them for now.  I'm sure Volkert and
> Wolfgang read this, let's see what they think.


I took care of them. Some could be switched to analyzed, the others are:

>> 6767
>> 6717
>> 5903
>> 5739

This still needs analysys

>> 6941

Need minimal testcase.

Giovanni Bajo