I move the bug to Won't Fix for 5.1.2 because we don't expect to have this release issued, and it's a really minor bug.
I move the bug to Won't Fix for 5.1.2 because we don't expect to have this release issued, and it's a really minor bug.