This should fix the problem indeed. Why has it not been merged yet?
On a side note, an automatic test would be welcome here.
Lionel.
« Back to merge proposal
This should fix the problem indeed.
Why has it not been merged yet?
On a side note, an automatic test would be welcome here.
Lionel.