Re: font-latex-match-warning-make void function.

[Stefan Monnier]

> At last I managed to figure out the origin and seem to recover the
> normal behavior. Sorry for your inconvinience.
Clearly I'm to blame, so thanks for the fix.