Re: [PATCH-updateded] Bug 3823

2007-06-06 Thread José Matos
On Wednesday 06 June 2007 17:02:01 Richard Heck wrote: > An improved version, per JMarc's suggestions. This one OK? > > rh OK. -- José Abílio

Re: [PATCH-updateded] Bug 3823

2007-06-06 Thread Jean-Marc Lasgouttes
> "Richard" == Richard Heck <[EMAIL PROTECTED]> writes: Richard> An improved version, per JMarc's suggestions. This one OK? Yes (you tried it, right?) JMarc

[PATCH-updateded] Bug 3823

2007-06-06 Thread Richard Heck
An improved version, per JMarc's suggestions. This one OK? rh -- == Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ == Get my