Processed: ITA: shtool
Processing commands for control@bugs.debian.org:
> retitle 837052 ITA: shtool -- portable shell tool from the GNU project
Bug #837052 [wnpp] O: shtool -- portable shell tool from the GNU project
Changed Bug title to 'ITA: shtool -- portable shell tool from the GNU project' from 'O: shtool -- portable shell tool from the GNU project'.
> owner 837052 !
Bug #837052 [wnpp] ITA: shtool -- portable shell tool from the GNU project
Owner recorded as Giovani Ferreira <giovani@debian.org>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
837052: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837052
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: