>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> If this bug shows itself only when using ert, and that we (IMHO
Lars> wrongly) try to fix that ert to work in a moving argument, then
Lars> I totally agree.

Lars> Just trop it, ert should _always_ be outputted as inserted.

OK, I'll do that.

JMarc

Reply via email to