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