Hello,
There is a bit of confusion in bug submissions. There are at least 3 ways I could find being used:
- debbugs
Although the first 2 are pretty similar, submitting bugs to the mailing list don't make them appear in debbugs, while the other way around does.
The project page dedicated to bug submission [1] mentions only the mailing list. But most people (including Alex) seem to use debbugs.
Is there any chance for this to be clarified and cleaned ?