[PATCH] Java: mangling of unicode characters.

Thu Feb 8 04:53:00 GMT 2001

>>>>> "Alexandre" == Alexandre Petit-Bianco <apbianco@cygnus.com> writes:

> Jason Merrill writes:

>> Sorry, I was confused when I suggested that; that encoding would
>> mean 'U', not '__U'. How does just '__U_' seem? That would
>> otherwise mean NUL, which is not valid here.

> Fine I guess, if encoding `__U' into `__U_' is what your post meant.

Yes, that's what I meant.
Jason