If you encounter a bug report it, doesn’t matter if someone else already reported. The more attention the bug gets the better.
This sums it up pretty much.
