Re: [PATCH] Add Unicode strings and symbols

[Mike Gran]

On Sat, 2009-08-08 at 02:44 -0700, Mike Gran wrote:
> On Sun, 2009-08-02 at 16:40 -0700, Mike Gran wrote:
> > Hi-
> > 
> > I think I scared Ludo when I committed something, so let me try this
> > instead.  Attached please find the next patch toward Unicode strings. It
> > is a big patch, but, it is the smallest patch I could make that added
> > the next quantum of functionality yet returned master to a working
> > state.
> > 
> > 
> 
> Since I see no objection, I'll push this.
> 
> Thanks,
> 
> Mike

Freakin' git.  I was surprised to see that a commit named "Merge commit
'origin/master'" appeared in the main tree when I did that.

Sorry.

-Mike