Processed: reassign 945962 to ftp.debian.org, retitle 945962 to override: libgl1:libs/optional ...
Processing commands for control@bugs.debian.org:
> reassign 945962 ftp.debian.org
Bug #945962 [libgl1] libgl1: still uses Priority: extra
Bug reassigned from package 'libgl1' to 'ftp.debian.org'.
No longer marked as found in versions libglvnd/1.1.0-1.
Ignoring request to alter fixed versions of bug #945962 to the same values previously set
> retitle 945962 override: libgl1:libs/optional
Bug #945962 [ftp.debian.org] libgl1: still uses Priority: extra
Changed Bug title to 'override: libgl1:libs/optional' from 'libgl1: still uses Priority: extra'.
> user ftp.debian.org@packages.debian.org
Setting user to ftp.debian.org@packages.debian.org (was bigon@debian.org).
> usertags 945962 override
There were no usertags set.
Usertags are now: override.
> affects 945962 libgl1
Bug #945962 [ftp.debian.org] override: libgl1:libs/optional
Added indication that 945962 affects libgl1
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
945962: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945962
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: