From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <eec3ed11c89cbae92a8e2e5555d10638@quanstro.net>
From: erik quanstrom <quanstro@quanstro.net>
Date: Mon,  7 Jan 2008 17:18:39 -0500
To: 9fans@cse.psu.edu
Subject: Re: [9fans] Re: Duplicate entries in fresh plan9.ini
In-Reply-To: <ba0d3bc70801070244q51fbe9fgf0fa40ba4b8d8582@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 287a6800-ead3-11e9-9d60-3106f5b1d025

On Mon Jan  7 11:29:45 EST 2008, a.h.vandijk@gmail.com wrote:
> Hi all,
> 
> Since no one has replied to this, I'm wondering if this was the right
> place to send it to. Is 9trouble more appropriate for this?
> 
> Thanks,
> Sander.
> 

9fans is a fine place for this.  perhaps no one with much experience
with the install process has had time to take a look.  you might also
consider submitting a patch.

- erik