Processed: tagging

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 632485 + moreinfo upstream
Bug #632485 [libgl1-nvidia-glx] libgl1-nvidia-glx: Segmentation fault in libnvidia-glcore.so.275.09.07
Added tag(s) upstream and moreinfo.
> notfound 632369 0.1.3
Bug #632369 {Done: Andreas Beckmann <debian at abeckmann.de>} [glx-diversions] dpkg-divert: error: rename involves overwriting file, different file, not allowed
Bug No longer marked as found in versions glx-alternatives/0.1.3.
> fixed 632369 0.1.3
Bug #632369 {Done: Andreas Beckmann <debian at abeckmann.de>} [glx-diversions] dpkg-divert: error: rename involves overwriting file, different file, not allowed
Bug Marked as fixed in versions glx-alternatives/0.1.3.
> tags 632369 - moreinfo
Bug #632369 {Done: Andreas Beckmann <debian at abeckmann.de>} [glx-diversions] dpkg-divert: error: rename involves overwriting file, different file, not allowed
Removed tag(s) moreinfo.
> tags 630225 + pending
Bug #630225 [glx-diversions] [nvidia-installer-cleanup] does not handle local diversions of libglx.so
Added tag(s) pending.
> tags 632197 + pending
Bug #632197 [glx-diversions] glx-diversions postinst fails without printing any messages
Added tag(s) pending.
> severity 632566 normal
Bug #632566 [glx-alternative-nvidia] glx-alternative-nvidia: nvidia's GLX is not set as a alternative for glx
Severity set to 'normal' from 'grave'

> tags 632566 + moreinfo
Bug #632566 [glx-alternative-nvidia] glx-alternative-nvidia: nvidia's GLX is not set as a alternative for glx
Added tag(s) moreinfo.
> found 632191 0.1.2
Bug #632191 [glx-diversions] glx-diversions: fails to install with dpkg-divert error
Bug Marked as found in versions glx-alternatives/0.1.2.
> notfound 632191 0.1.3
Bug #632191 [glx-diversions] glx-diversions: fails to install with dpkg-divert error
Bug No longer marked as found in versions glx-alternatives/0.1.3.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
632191: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=632191
630225: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=630225
632197: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=632197
632369: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=632369
632485: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=632485
632566: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=632566
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems