20 Aug
2010
20 Aug
'10
7:51 p.m.
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