Maybe what I mentioned above (unrelated to this bug) is due to the fix to Bug #1170508. So, forget what I asked.
Just to repeat what I wrote 2 comments above: this bug is fixed for me.
Maybe what I mentioned above (unrelated to this bug) is due to the fix to Bug #1170508. So, forget what I asked.
Just to repeat what I wrote 2 comments above: this bug is fixed for me.