Re: User extensions

[Valentin David]

On Sat, Oct 23, 2010 at 5:27 PM, Ralf Wildenhues <ralf.wildenh...@gmx.de> wrote:
> I haven't looked at the patch in detail yet, but will, now that
> the assignment papers are done (thanks!).

It is done.

-- 
Valentin David
valentin.da...@gmail.com