>>>>> "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
>>>>> "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