> Indeed, thank you both for catching that. As the docstring of `message' > mentions, one should always use (message "%s" SOMETHING) unless > SOMETHING is a plain string (i.e. one without formatting instructions).
I believe you mean should always use (message "%s" SOMETHING) if SOMETHING is a plain string (i.e. one without formatting instructions). > Should be fixed by commit db9368fc. You're a star. > Štěpán _______________________________________________ implementations-list mailing list [email protected] https://lists.ourproject.org/cgi-bin/mailman/listinfo/implementations-list
