[PATCH] Allow explicit disabling of extensions

[Matt Mackall]

On Fri, Sep 28, 2007 at 04:36:41PM -0500, Steve Borho wrote:
> On Tue, 2007-09-18 at 19:54 -0500, Steve Borho wrote:
> > # HG changeset patch
> > # User Steve Borho <steve at borho.org>
> > # Date 1190163181 18000
> > # Node ID 98203cff47ce85df26094d03eda8c79ab858f2e2
> > # Parent  ba3dc78839686ccb285f4227a80356f7b13e6f8f
> > Allow explicit disabling of extensions
> 
> Ping.  Does anyone have any specific complaints about this patch?

Hard to say, as you trimmed all the interesting bits.

-- 
Mathematics is the supreme nostalgia of our time.