On Mon, Jul 08, 2013 at 10:51:54PM -0500, Frank Loeffler wrote:
> Would this now be a good time to open a ticket to try to get this in a
> future release version?

No need, I'll try to take care of this fix myself.
Thanks for your report!

Reply via email to