I am very sure that the total time you spent in writing that ticket+this email, would have been sufficient to write the doc patch.
It's very unlikely that anyone else would spend time on an open doc ticket, related to some corner case.
I am very sure that the total time you spent in writing that ticket+this email, would have been sufficient to write the doc patch.
It's very unlikely that anyone else would spend time on an open doc ticket, related to some corner case.