Processed: retitle to RFS: thonny/2.1.15-1 (ITP #857042) -- Python IDE for beginners
Processing commands for control@bugs.debian.org:
> retitle 878741 RFS: thonny/2.1.15-1 (ITP #857042) -- Python IDE for beginners
Bug #878741 [sponsorship-requests] RFS: thonny/2.1.12-1 (ITP #857042) -- Python IDE for beginners
Changed Bug title to 'RFS: thonny/2.1.15-1 (ITP #857042) -- Python IDE for beginners' from 'RFS: thonny/2.1.12-1 (ITP #857042) -- Python IDE for beginners'.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
878741: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=878741
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: