Processed: Re: Bug#276951: gnome: Extra mouse pointer at startup

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 276951 xserver-xfree86
Bug#276951: gnome: Extra mouse pointer at startup
Bug reassigned from package `gnome' to `xserver-xfree86'.

> retitle 276951 [savage] Two mouse pointers when using Industrial theme with hardware cursor
Bug#276951: gnome: Extra mouse pointer at startup
Changed Bug title.

> merge 276951 254565
Bug#254565: xserver-xfree86: [savage] two cursors display when using an ARGB cursor theme on LCD with VT8636A TwisterK
Bug#276951: [savage] Two mouse pointers when using Industrial theme with hardware cursor
Merged 254565 276951.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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