From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Dec 1 18:40:08 2011 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 6C021106566B for ; Thu, 1 Dec 2011 18:40:08 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:4f8:fff6::28]) by mx1.freebsd.org (Postfix) with ESMTP id 54F648FC0C for ; Thu, 1 Dec 2011 18:40:08 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.5/8.14.5) with ESMTP id pB1Ie7EV036069 for ; Thu, 1 Dec 2011 18:40:07 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.5/8.14.5/Submit) id pB1Ie7uq036068; Thu, 1 Dec 2011 18:40:07 GMT (envelope-from gnats) Date: Thu, 1 Dec 2011 18:40:07 GMT Message-Id: <201112011840.pB1Ie7uq036068@freefall.freebsd.org> To: freebsd-ports-bugs@FreeBSD.org From: Johannes 5 Joemann Cc: Subject: Re: ports/162955: [PATCH] lang/maude: update to 2.6, fix loading, add full-maude X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Johannes 5 Joemann List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 01 Dec 2011 18:40:08 -0000 The following reply was made to PR ports/162955; it has been noted by GNATS. From: Johannes 5 Joemann To: Rick van der Zwet Cc: bug-followup@freebsd.org Subject: Re: ports/162955: [PATCH] lang/maude: update to 2.6, fix loading, add full-maude Date: Thu, 1 Dec 2011 19:05:55 +0100 On Wed, 30 Nov 2011 21:36:13 +0100, Rick van der Zwet wrote: > [...] > Approved. I have tested the patch, works like a charm. That's great to read:-) > On a side-note; I no longer use the Maude software and feel no urge > anymore to keep the port up2date. That's sad to read:-( > @Johannes: if you like to maintain the port, I would be very grateful. Thanks for considering this! Well, I'm just an executable specification newbie currently learning Maude ... But it's probably better if I take the port than that you return it to ports@ sooner or later. Therefore: OK, I'll take it, trying to fill the gap until an experienced Maude user volunteers to take maintainership. @the committer who'll grab this PR: unless you have further questions regarding the patch or the change of maintainership: please set MAINTAINER= joemann@beefree.free.de @Rick & @committer: Thank you very much! Johannes