[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: retitle 797696 to ITP: why3



Processing commands for control@bugs.debian.org:

> retitle 797696 ITP: why3
Bug #797696 [wnpp] RFP: why3
Changed Bug title to 'ITP: why3' from 'RFP: why3'
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
797696: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797696
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems


Reply to: