I have marked the bug so that the patch will be checked in.
Johannes, please file the follow-up bug for the remaining work on the other similar places. Please CC me there. I hope you can work on that bug too.
I have marked the bug so that the patch will be checked in.
Johannes, please file the follow-up bug for the remaining work on the other similar places. Please CC me there. I hope you can work on that bug too.