Re: 0.12 release

...

Stéfan, do you want these PRs to be merged for 0.12? Can you estimate when they should be ready?

I'll make the last changes to those PRs now. If, after that, they are not ready to merge, let us not hold up the whole release.

Awesome! From GitHub's activity there are several devs around today, so we should be able to review and hopefully merge today.

...

I can take care of the release process as described in our RELEASE.txt, but it would be the first time for me so I'll probably need some help along the process!

That is very kind of you! I am happy to lend a hand as and where needed.

Thanks! Emma