13 Jul
2012
13 Jul
'12
12:55 p.m.
On Wed, Jul 11, 2012 at 6:57 AM, Ion Gaztañaga <igaztanaga@gmail.com> wrote:
Thanks for the report, can you please fill a ticket?
Done. It turns out to be a very minor issue, but one that could help someone just learning the library to use it more effectively. - Trey