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
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
On Tuesday 22 May 2007 4:35:28 pm Richard Heck wrote:
Committed minus the comment.
OK. Thanks. :-)
Richard
--
José Abílio
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
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
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
On Tuesday 22 May 2007 4:35:28 pm Richard Heck wrote:
> Committed minus the comment.
OK. Thanks. :-)
> Richard
--
José Abílio
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?
> >
>
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
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
10 matches
Mail list logo