Re: User extensions

[Ralf Wildenhues]

* Pippijn van Steenhoven wrote on Mon, Nov 01, 2010 at 12:43:57PM CET:
> On Wed, Oct 27, 2010 at 02:13:00PM +0200, Valentin David wrote:
> > On Sat, Oct 23, 2010 at 5:27 PM, Ralf Wildenhues wrote:
> > > I haven't looked at the patch in detail yet, but will, now that
> > > the assignment papers are done (thanks!).
> > 
> > It is done.
> 
> Does this mean the feature will soon be in git?

Let's see; it would be nice indeed.

Ralf