On Mon, Mar 28, 2011 at 2:25 PM, Greg Wooledge wrote:
> In any case, I see no benefit to changing how [[ works.  A change would
> just cause more confusion.

and probably break many existing scripts
-mike

Reply via email to