Processed: retitle to RFS: wxmaxima/18.02.0-1
Processing commands for control@bugs.debian.org:
> retitle 890712 RFS: wxmaxima/18.02.0-1
Bug #890712 [sponsorship-requests] Subject: RFS: wxmaxima/18.02.0-1
Changed Bug title to 'RFS: wxmaxima/18.02.0-1' from 'Subject: RFS: wxmaxima/18.02.0-1'.
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
890712: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890712
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: