Re: [patch] fix bug 3886: Cut/paste bug with environment depths in 1.5svn

[Alfredo Braunstein]

Jean-Marc Lasgouttes wrote:

> I like it (fixes a bug, does useful cleanup). You should probably remove
> the // finally, invoke the DEPM
> comment which looks a bit strange in such a small method.

Done.

> OK

I commited it.

A/