retitle 781928 ITA: shtool -- portable shell tool from the GNU project thanks
--- Uploaded now, using 2-day delay queue, the revision 2.0.8-7, that will close this bug. Cheers, Eriberto -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
