Processing commands for cont...@bugs.debian.org: > retitle 868212 RFP: optee-os -- Trusted OS for OP-TEE Bug #868212 [wnpp] ITP: optee-os -- Trusted OS for OP-TEE Changed Bug title to 'RFP: optee-os -- Trusted OS for OP-TEE' from 'ITP: optee-os -- Trusted OS for OP-TEE'. > noowner 868212 Bug #868212 [wnpp] RFP: optee-os -- Trusted OS for OP-TEE Removed annotation that Bug was owned by 'Bo Dong' <bd...@ucrobotics.com>. > stop Stopping processing here.
Please contact me if you need assistance. -- 868212: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868212 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
