Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120825 Thunderbird/15.0
I will be on holidays for the next two weeks. I may have a chance to
access the internet and read my mails in between, but cannot work on bug
reports. It would be great if others could step in during that time.