Re @fungi, about bug number mentioning within patch's commit message, I think it's not a big deal due to this report is under private status, improper users couldn't even know the background and deeper affect from security perspective.
Re @fungi, about bug number mentioning within patch's commit message, I think it's not a big deal due to this report is under private status, improper users couldn't even know the background and deeper affect from security perspective.