On Wed, Apr 23, 2014, at 06:50 AM, Otto Moerbeek wrote: > A slightly different fix has been commited, > > -Otto
At first glance, the bug appears to be squashed. (I'll report back if I find out otherwise later.) Thanks! -- Shawn K. Quinn [email protected]

