On 27 February 2013 15:55, Allin Cottrell <cottrell@wfu.edu> wrote:

Indeed. Confirmed here too. This is now fixed in CVS; there
will be new snapshots before long.