Jean-Marc Lasgouttes wrote: >>>>>> "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.
Done. Georg
