Re: [PATCH-updated] Bug 3650

2007-05-19 Thread Richard Heck
Committed...thanks Uwe and J"urgen Richard Heck wrote: > Attached is a slightly updated version of this patch. OK to commit? > > A proper clean-up of this will have to wait a bit. > > Richard > > > > > Index: Paragrap

Re: [PATCH-updated] Bug 3650

2007-05-19 Thread Jürgen Spitzmüller
Uwe Stöhr wrote: > > Attached is a slightly updated version of this patch. OK to commit? > > +1 > > Jürgen? OK. Jürgen

[PATCH-updated] Bug 3650

2007-05-19 Thread Uwe Stöhr
> Attached is a slightly updated version of this patch. OK to commit? +1 Jürgen? regards Uwe

[PATCH-updated] Bug 3650

2007-05-19 Thread Richard Heck
Attached is a slightly updated version of this patch. OK to commit? A proper clean-up of this will have to wait a bit. Richard -- == Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/