Re: [patch] INSTALL

[Enrico Forestieri]

On Mon, Feb 11, 2008 at 08:23:00PM +0100, Andre Poenitz wrote:

> On Mon, Feb 11, 2008 at 08:15:49PM +0100, Enrico Forestieri wrote:
> > Is the attached patch appropriate for the INSTALL file?
> 
> Yes.

Committed.

Jürgen, OK for branch?

-- 
Enrico