>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:

Georg> It is not possible to insert a " in ERT. This trivial patch
Georg> fixes that. It is going into trunk later if nobody objects.
Georg> Also OK for 1.4?

Yes, it looks good.

JMarc

Reply via email to