bug#26586: 25.1; header-line-format spins cpu

[Aaron Jensen]

On Fri, Apr 21, 2017 at 11:32 AM, Andreas Schwab <schwab@linux-m68k.org> wrote:
> On Apr 21 2017, Aaron Jensen <aaronjensen@gmail.com> wrote:
>
>> Right, the tricky bit is matching the properties that the % had. It
>> could either be in a link, or a headline itself, or... so we'd need a
>> way of scanning the string and replacing the % while maintaining
>> whatever properties it had.
>
> It's probably easier to reference the string indirectly through a
> symbol, since that will suppress % handling.

Could you give an example of this? I'm not sure how to do this with
header-line-format.