Processed: retitle 1086142 to RFP: rioterm -- hardware-accelerated GPU terminal emulator ...
Processing commands for control@bugs.debian.org:
> retitle 1086142 RFP: rioterm -- hardware-accelerated GPU terminal emulator
Bug #1086142 [rioterm] RFP: rio terminal -- A hardware-accelerated GPU terminal emulator
Warning: Unknown package 'rioterm'
Changed Bug title to 'RFP: rioterm -- hardware-accelerated GPU terminal emulator' from 'RFP: rio terminal -- A hardware-accelerated GPU terminal emulator'.
Warning: Unknown package 'rioterm'
> reassign 1086142 wnpp
Bug #1086142 [rioterm] RFP: rioterm -- hardware-accelerated GPU terminal emulator
Warning: Unknown package 'rioterm'
Bug reassigned from package 'rioterm' to 'wnpp'.
Ignoring request to alter found versions of bug #1086142 to the same values previously set
Ignoring request to alter fixed versions of bug #1086142 to the same values previously set
> severity 1086142 wishlist
Bug #1086142 [wnpp] RFP: rioterm -- hardware-accelerated GPU terminal emulator
Severity set to 'wishlist' from 'normal'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
1086142: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1086142
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: