General question, should I (or someone else) report bugs this way? Because this isn't the only bug floating around on the forums, and definitely not the only feature request, and I don't really know whether people take note of them or not.
On the other hand, I don't want to make the mailing list a dumping ground for everything.

Opinions?

On Sun, Nov 25, 2012 at 11:52 AM, Devin Venable <venable.devin@gmail.com> wrote:
Thanks Toby.  I was just logging into my computer to take a look into this, but you beat me to it.

Devin


On Sun, Nov 25, 2012 at 4:50 AM, Tobias Doerffel <tobias.doerffel@gmail.com> wrote:
Hi,

I found and fixed the bug. The according commit just has been pushed
to the git repository - everyone should update.

Thank you very much for reporting this bug!

Best regards

Toby




--
Orpheon