On the Common Lisp mailing list there are 30 mails from RMS. His participation ended in 83. Before CLtL1 was published and way before X3J13 was started. I'd s

On the Common Lisp mailing list there are 30 mails from RMS. His participation ended in 83. Before CLtL1 was published and way before X3J13 was started. I'd say RMS was never a member of X3J13.