Hi, Manu, Alexander,

I think the patch should works and would not fire new bug. It's committed in revision#83397. So the bug is fixed. 

Thanks for your report.