On Mon, Apr 1, 2013 at 8:32 AM, Matthew Knepley <[email protected]> wrote:

I still think things are too unstable for the release, and dev should be more stable, so we should turn it off in the release.

I agree. It's changing quickly and 'master' should be more stable than we can reasonably maintain that stuff in 'maint'.