> Date: Tue, 1 Sep 2015 15:14:09 +0000
> From: Pip Cet <pipcet@gmail.com>
> Cc: 21380@debbugs.gnu.org
>
> (* - well, one segfault. But I attribute that to extraordinarily bizarre
> actions even by my standards: attempting to display an unprintable ASCII
> control character in the echo area.
Is this reproducible? If so, please submit a separate bug report with
a recipe.
> Usually this is fine because propertized strings never end up in the
> echo area (I hope)...)
The echo area is a normal buffer, so any face can be used in it. See,
for example, the message printed by info.el after "i SOMETHING RET".