Processed: Re: gnome-initial-setup: Please upgrade to 43

[Debian Bug Tracking System]

Processing control commands:

> severity -1 important
Bug #1016766 [src:gnome-initial-setup] gnome-initial-setup: Please upgrade to 43
Severity set to 'important' from 'wishlist'
> retitle -1 gnome-initial-setup: Privacy page needs webkitgtk 5.0
Bug #1016766 [src:gnome-initial-setup] gnome-initial-setup: Please upgrade to 43
Changed Bug title to 'gnome-initial-setup: Privacy page needs webkitgtk 5.0' from 'gnome-initial-setup: Please upgrade to 43'.

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