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

[Debian Bug Tracking System]

Processing control commands:

> tags 883712 pending
Bug #883712 [src:webkit2gtk] webkit2gtk: Add Debian to webkit user agent string
Added tag(s) pending.

-- 
883712: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=883712
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems