Processing commands for control@bugs.debian.org: > close 963802 Bug #963802 [wnpp] ITP: drm-info -- Small utility to dump info about DRM devices Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 963802: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=963802 Debian Bug Tracking System Contact owner@bugs.debian.org with problems