Bug#883712: webkit2gtk: Add Debian to webkit user agent string

Tue Dec 12 10:21:55 UTC 2017

Control: tags 883712 pending

On Mon, Dec 11, 2017 at 09:44:45PM -0500, Jeremy Bicha wrote:
> > If the only debate is having statistics of OS popularity vs making
> > the user harder to identify, I think I choose the latter. I don't
> > know what the rest of the team thinks...
> 
> Like I said, I think Ubuntu wants it. How about this patch then?

That looks good to me. Applied, thanks!

Berto