Re: [PATCH] Bug 3692

2007-05-22 Thread José Matos
On Tuesday 22 May 2007 6:24:41 am Richard Heck wrote: A very simple patch to fix this bug. OK to commit? OK. What do we loose with the removal of the regular expression? rh -- José Abílio

Re: [PATCH] Bug 3692

2007-05-22 Thread Richard Heck
José Matos wrote: On Tuesday 22 May 2007 6:24:41 am Richard Heck wrote: A very simple patch to fix this bug. OK to commit? OK. What do we loose with the removal of the regular expression? Sorry, the patch is confusing. There were no regular expressions there. The ones that

Re: [PATCH] Bug 3692

2007-05-22 Thread José Matos
On Tuesday 22 May 2007 4:35:28 pm Richard Heck wrote: Committed minus the comment. OK. Thanks. :-) Richard -- José Abílio

Re: [PATCH] Bug 3692

2007-05-22 Thread Andre Poenitz
On Tue, May 22, 2007 at 11:35:28AM -0400, Richard Heck wrote: José Matos wrote: On Tuesday 22 May 2007 6:24:41 am Richard Heck wrote: A very simple patch to fix this bug. OK to commit? OK. What do we loose with the removal of the regular expression? Sorry, the patch is

Re: [PATCH] Bug 3692

2007-05-22 Thread José Matos
On Tuesday 22 May 2007 6:24:41 am Richard Heck wrote: > A very simple patch to fix this bug. OK to commit? OK. What do we loose with the removal of the regular expression? > rh -- José Abílio

Re: [PATCH] Bug 3692

2007-05-22 Thread Richard Heck
José Matos wrote: > On Tuesday 22 May 2007 6:24:41 am Richard Heck wrote: > >> A very simple patch to fix this bug. OK to commit? >> > OK. What do we loose with the removal of the regular expression? > Sorry, the patch is confusing. There were no regular expressions there. The ones

Re: [PATCH] Bug 3692

2007-05-22 Thread José Matos
On Tuesday 22 May 2007 4:35:28 pm Richard Heck wrote: > Committed minus the comment. OK. Thanks. :-) > Richard -- José Abílio

Re: [PATCH] Bug 3692

2007-05-22 Thread Andre Poenitz
On Tue, May 22, 2007 at 11:35:28AM -0400, Richard Heck wrote: > José Matos wrote: > > On Tuesday 22 May 2007 6:24:41 am Richard Heck wrote: > > > >> A very simple patch to fix this bug. OK to commit? > >> > > OK. What do we loose with the removal of the regular expression? > > >

[PATCH] Bug 3692

2007-05-21 Thread Richard Heck
A very simple patch to fix this bug. OK to commit? rh -- == Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ == Get my public

[PATCH] Bug 3692

2007-05-21 Thread Richard Heck
A very simple patch to fix this bug. OK to commit? rh -- == Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ == Get my public