Thanks, I pushed that.  (And I messed up, by pushing an old version,
but I fixed that right away.)

Reply via email to