I think this is a problem with define-record-type which I changed not too long ago. Will poke at it...
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
I think this is a problem with define-record-type which I changed not too long ago. Will poke at it...
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist