Processing commands for cont...@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) -- To UNSUBSCRIBE, email to debian-bugs-forwarded-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
