Yes, there are more pressing issues, but it can't hurt for a potential bug to be reported, nevertheless. It's not like the OP was saying "Fix this now!", just asking if it would be fixed.