Processed: reassign 746807 to libdrm-dev
Processing commands for control@bugs.debian.org:
> reassign 746807 libdrm-dev 2.4.53-1
Bug #746807 [src:libdrm-dev] libdrm-dev - qxl_drm.h: wrong include of drm/drm.h
Warning: Unknown package 'src:libdrm-dev'
Bug reassigned from package 'src:libdrm-dev' to 'libdrm-dev'.
No longer marked as found in versions libdrm-dev/2.4.53-1.
Ignoring request to alter fixed versions of bug #746807 to the same values previously set
Bug #746807 [libdrm-dev] libdrm-dev - qxl_drm.h: wrong include of drm/drm.h
Marked as found in versions libdrm/2.4.53-1.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
746807: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746807
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: