Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 476851 webkit: mouse pointer doesn't show busy cursor
Bug #476851 [epiphany-webkit] epiphany-webkit: The mouse pointer doesn't change while loading URL
Changed Bug title to 'webkit: mouse pointer doesn't show busy cursor' from 'epiphany-webkit: The mouse pointer doesn't change while loading URL'
> reassign 476851 webkit
Bug #476851 [epiphany-webkit] webkit: mouse pointer doesn't show busy cursor
Bug reassigned from package 'epiphany-webkit' to 'webkit'.
Bug No longer marked as found in versions epiphany-browser/2.22.1.1-1.
> forwarded 476851 https://bugs.webkit.org/show_bug.cgi?id=15795
Bug #476851 [webkit] webkit: mouse pointer doesn't show busy cursor
Changed Bug forwarded-to-address to 'https://bugs.webkit.org/show_bug.cgi?id=15795' from 'http://bugzilla.gnome.org/531321'
> tag 476851 - fixed-upstream
Bug #476851 [webkit] webkit: mouse pointer doesn't show busy cursor
Removed tag(s) fixed-upstream.
> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)