Processed (with 1 error): ITP: optee-client -- normal world user space client APIs for OP-TEE
Processing commands for control@bugs.debian.org:
> owner 868215 !
Bug #868215 [wnpp] RFP: optee-client -- The normal world user space client APIs for OP-TEE
Owner recorded as "Ying-Chun Liu (PaulLiu)" <paulliu@debian.org>.
> retitle 868215 ITP: optee-client -- normal world user space client APIs
Bug #868215 [wnpp] RFP: optee-client -- The normal world user space client APIs for OP-TEE
Changed Bug title to 'ITP: optee-client -- normal world user space client APIs' from 'RFP: optee-client -- The normal world user space client APIs for OP-TEE'.
> for OP-TEE
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
868215: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868215
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: