Hi Rainer,

Rainer M Krug <[email protected]> writes:

>> Exactly that should work, i.e. using header-args+:
>
> And it does - should be added to the manual in the example.

Can you provide a patch for this?

-- 
 Bastien

Reply via email to