[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changing a user agent string [PATCH]
On Thu, 18 Jan 2018 11:41:13 -0500, Boruch Baum wrote:
> On 2018-01-18 13:31, Katsumi Yamaoka wrote:
>> I think the `buffer-local' is good enough and easy to implement.
> It turns out to not be straightforward at all because the code generates
> temporary work buffers to build the GET headers, so making the variable
> buffer local doesn't help.
Oh, sure. So, we should do something like what Gnus does for
group parameters. Well, I have no tangible idea, though.
> Patch attached.
> Attached in same patch.