Thanks Roberto! That is a very useful fix.
One thing: if I am correct, the only line that has actually changed is line 36. But the diff shows some whitespace changes. Could you please revert these changes?
« Back to merge proposal
Thanks Roberto! That is a very useful fix.
One thing: if I am correct, the only line that has actually changed is line 36. But the diff shows some whitespace changes. Could you please revert these changes?