Release plans for 0.14

[David Bremner]

It has been a few months since we last had a release.

I'd like to to another release within the next few weeks. To this end
I'd like to take a snapshot of master next Sunday (August 12), and
release that plus urgent bugfixes a week later (August 19).

I realize this won't be time to get all of the interesting patches we
are working on reviewed and merged in, but I don't want to fall into the
trap of delaying the release indefinitely.

Discussion?

d