From owner-freebsd-ports Tue Aug 6 11:48:15 2002 Delivered-To: freebsd-ports@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id DFB6537B400; Tue, 6 Aug 2002 11:48:14 -0700 (PDT) Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 9410443E3B; Tue, 6 Aug 2002 11:48:14 -0700 (PDT) (envelope-from naddy@FreeBSD.org) Received: from freefall.freebsd.org (naddy@localhost [127.0.0.1]) by freefall.freebsd.org (8.12.4/8.12.4) with ESMTP id g76ImEJU097385; Tue, 6 Aug 2002 11:48:14 -0700 (PDT) (envelope-from naddy@freefall.freebsd.org) Received: (from naddy@localhost) by freefall.freebsd.org (8.12.4/8.12.4/Submit) id g76ImEbZ097381; Tue, 6 Aug 2002 11:48:14 -0700 (PDT) Date: Tue, 6 Aug 2002 11:48:14 -0700 (PDT) From: Christian Weisgerber Message-Id: <200208061848.g76ImEbZ097381@freefall.freebsd.org> To: naddy@FreeBSD.org, freebsd-ports@FreeBSD.org, naddy@FreeBSD.org Subject: Re: ports/41299: port upgrade: lang/ocaml 3.05 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: port upgrade: lang/ocaml 3.05 Responsible-Changed-From-To: freebsd-ports->naddy Responsible-Changed-By: naddy Responsible-Changed-When: Tue Aug 6 11:47:46 PDT 2002 Responsible-Changed-Why: I'll handle this http://www.freebsd.org/cgi/query-pr.cgi?pr=41299 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message