bug#43896: (no subject)

[Mats Lidell]

> Mats Lidell writes:
> > Andreas Schwab writes:
> > It's not, the embedded double quotes need to be quoted.
>
> Thanks! I applied the patch and things start to work as expected.

Hi, just a friendly ping that the patch has served me well for nearly three 
months now. What is the proper action to bring this forward? Shall I raise a PR 
or is the bug report enough?

Yours
-- 
%% Mats