Raymond Toy pushed new branch issue-432-fix-man-option-for-make-extra-dist at cmucl / cmucl -- View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/tree/issue-432-fix-man-option-f... You're receiving this email because of your account on gitlab.common-lisp.net.