Maybe I posted the wrong patch. There are four of them, and two that can be relevant to our bug. But maybe the present one is better, I'm not sure why I chose the other first (see attached revision 22117).
Maybe I posted the wrong patch. There are four of them, and two that can be relevant to our bug. But maybe the present one is better, I'm not sure why I chose the other first (see attached revision 22117).