[PATCH] Allow explicit disabling of extensions

[Steve Borho]

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?

-- 
Steve Borho (steve at borho.org)
http://www.borho.org/~steve/steve.asc
Key fingerprint = 2D08 E7CF B624 624C DE1F  E2E4 B0C2 5292 F2C6 2C8C