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

Wed Nov 30 21:10:14 UTC 2011

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

From: Rick van der Zwet <info at rickvanderzwet.nl>
To: bug-followup at freebsd.org
Cc: Johannes 5 Joemann <joemann at beefree.free.de>
Subject: Re: ports/162955: [PATCH] lang/maude: update to 2.6, fix loading, add full-maude
Date: Wed, 30 Nov 2011 21:36:13 +0100

 On 29 November 2011 22:10, Edwin Groothuis <edwin at freebsd.org> wrote:
 > Maintainer of lang/maude,
 >
 > Please note that PR ports/162955 has just been submitted.
 >
 > If it contains a patch for an upgrade, an enhancement or a bug fix
 > you agree on, reply to this email stating that you approve the patch
 > and a committer will take care of it.

 Approved. I have tested the patch, works like a charm.

 On a side-note; I no longer use the Maude software and feel no urge
 anymore to keep the port up2date. @Johannes: if you like to maintain
 the port, I would be very grateful.

 Br. /Rick
 -- 
 http://rickvanderzwet.nl