[ANNOUNCE] Cut branch-0.12

[Jongyoul Lee]

Hello devs and committers,

I cut the branch for the 0.12 release.

Please consider cherry-picking commits to branch-0.12

I'll make a first draft by this weekend.

Best regards,
JL