I consider this fixed, since I haven't heard from you.
In case it hasn't been fixed, please re-open this issue.
I consider this fixed, since I haven't heard from you.
In case it hasn't been fixed, please re-open this issue.