Thanks for investigating this bug.
Despite being unable to reproduce it myself (still), I have applied your proposed fix to the trunk in order to fix it.
Thanks for investigating this bug.
Despite being unable to reproduce it myself (still), I have applied your proposed fix to the trunk in order to fix it.