Date: Thu, 1 Dec 2011 18:40:07 GMT From: Johannes 5 Joemann <joemann@beefree.free.de> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/162955: [PATCH] lang/maude: update to 2.6, fix loading, add full-maude Message-ID: <201112011840.pB1Ie7uq036068@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/162955; it has been noted by GNATS. From: Johannes 5 Joemann <joemann@beefree.free.de> To: Rick van der Zwet <info@rickvanderzwet.nl> 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 <info@rickvanderzwet.nl> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201112011840.pB1Ie7uq036068>