ports/117667: [MAINTAINER] x11-wm/xmonad: add 2 options

Sat Jan 26 08:00:06 UTC 2008

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

From: Matthieu Guegan <matt.guegan at free.fr>
To: Thomas Abthorpe <tabthorpe at freebsd.org>
Cc: bug-followup at freebsd.org
Subject: Re: ports/117667: [MAINTAINER] x11-wm/xmonad: add 2 options
Date: Sat, 26 Jan 2008 08:50:41 +0100

 On Fri, Jan 25, 2008 at 10:30:25PM -0500, Thomas Abthorpe wrote:
 > Can this PR be closed in favour of ports/119928?

 Yes, you can !

 Thank you

 Matthieu