Hi Christian, Alex, Sorry for the ping. No need to look at the patch itself.
I would just be grateful for a quick word on whether the issue it describes is a real one. If not, I will drop it; if it is, should I send a v2? Thanks for your time, Junrui Luo
