Processed: your mail
Processing commands for control@bugs.debian.org:
> retitle 968181 missing DRI/DRM support on Raspberry Pi
Bug #968181 [src:linux] GPU/DRM acceleration unavailable on Raspberry Pi
Changed Bug title to 'missing DRI/DRM support on Raspberry Pi' from 'GPU/DRM acceleration unavailable on Raspberry Pi'.
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
968181: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=968181
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: