ports/162955: [PATCH] lang/maude: update to 2.6, fix loading, add full-maude

[Johannes 5 Joemann]

The following reply was made to PR ports/162955; it has been noted by GNATS.

From: Johannes 5 Joemann <joemann at beefree.free.de>
To: Rick van der Zwet <info at rickvanderzwet.nl>
Cc: bug-followup at 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 at 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 at beefree.free.de
 
 @Rick & @committer: Thank you very much!
 Johannes