Re: [PATCH] Handling of float and floatplacement of listings

[José Matos]

On Friday 25 May 2007 07:03:55 Jürgen Spitzmüller wrote:
> Bo Peng wrote:
> > I am too lazy to create a bugzilla entry, and will commit it if Uwe or
> > Jurgen OKs it.
>
> OK.
>
> Jürgen

OK.

-- 
José Abílio