Moved NOTE-NAME-DEFINED here and changed it to see if *UNDEFINED-WARNINGS*
is bound. Changed various people to call it so that we don't get spurious undefined function warnings.
Please register or sign in to comment
is bound. Changed various people to call it so that we don't get spurious undefined function warnings.