bug#17052: substitute-command-keys strips text properties

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Wed, 14 Aug 2019 18:58:57 -0700
> Cc: Juanma Barranquero <lekktu@gmail.com>, 17052@debbugs.gnu.org
> 
> > The doc of substitute-command-keys used to mention this, but it was
> > somewhat prematurely removed in 049fac7.
> 
> Heh, heh:
> 
>     (Fsubstitute_command_keys): Don't advertise the fact that
>     text-properties are dropped, since we think it's a bug that we'll fix
>     in 24.5.
> 
> Should I just put it back in the doc string, or do we still think that
> we'll fix it?

I don't think it matters (unless you want to fix this right now ;-).
We should document the situation and leave the bug open for the
possibility that someone would like to work on this.

Thanks.