Processed: RFP: topcased -- Open-Source Toolkit for Critical Systems

Processing commands for cont...@bugs.debian.org: > close 714468 Bug #714468 [wnpp] RFP: topcased -- Open-Source Toolkit for Critical Systems Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 714468:

Processed: RFP: TopCased -- Open-Source Toolkit for Critical Systems

Processing commands for cont...@bugs.debian.org: retitle 714468 RFP: TopCased -- Open-Source Toolkit for Critical Systems Bug #714468 [wnpp] ITP: TopCased -- Open-Source Toolkit for Critical Systems Changed Bug title to 'RFP: TopCased -- Open-Source Toolkit for Critical Systems' from 'ITP: