>
> I applied the patch and it is working.
>

Great, I've just pushed it up.

Best,

-- 
Eric Schulte
https://cs.unm.edu/~eschulte
PGP: 0x614CA05D

Reply via email to