Subject: Re: bug#26314: [PATCH] substitute: Send ‘User-Agent’ header.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Fri, 31 Mar 2017 15:42:53 +0200

Ludo',

On 31/03/17 10:12, Ludovic Courtès wrote:
> Did the lack of ‘User-Agent’ cause you any problems?

I recently got stuck behind an alt-right proxy that didn't seem to like
it, and had to hack a tunnel through it. I hope such things are rare.

> Go for it!

Pushed as f264e838c0f8b63e93cd7b8a9d5d8e2208d82467.

Thanks!

T G-R