Hi all,

It's time to start thinking about the 0.12.0 release. There's a number of cool new features, and a huge amount of maintenance work (thanks in large part to Pauli).

I don't think there's any real blockers at the moment. We should merge as many open PRs as possible though. Does anyone still have important fixes or other things that should go in?

I propose the following release schedule:

Feb 9 : beta 1

Feb 23 : rc 1

Mar 9 : rc 2 (if needed)

Mar 16 : final release