Processing commands for [email protected]: > 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 [email protected] with problems
