From owner-freebsd-ports Sat Feb 23 12: 2:27 2002 Delivered-To: freebsd-ports@hub.freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by hub.freebsd.org (Postfix) with ESMTP id 6BB8637B402; Sat, 23 Feb 2002 12:02:23 -0800 (PST) Received: (from pat@localhost) by freefall.freebsd.org (8.11.6/8.11.6) id g1NJsFJ79431; Sat, 23 Feb 2002 11:54:15 -0800 (PST) (envelope-from pat) Date: Sat, 23 Feb 2002 11:54:15 -0800 (PST) From: Message-Id: <200202231954.g1NJsFJ79431@freefall.freebsd.org> To: pat@FreeBSD.org, freebsd-ports@FreeBSD.org, pat@FreeBSD.org Subject: Re: ports/35247: New port: devel/splint Sender: owner-freebsd-ports@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org Synopsis: New port: devel/splint Responsible-Changed-From-To: freebsd-ports->pat Responsible-Changed-By: pat Responsible-Changed-When: Sat Feb 23 11:53:27 PST 2002 Responsible-Changed-Why: I'll take care of this one. (repocopy needed from devel/lclint -> devel/splint since author renamed it) http://www.FreeBSD.org/cgi/query-pr.cgi?pr=35247 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message