Announce release of Dotty 0.1.2-RC1

[DarkDimius]

Please don't merge it yet.
Release notes & version numbering links are known to be dead before scala/scala3#2627 gets in.

[DarkDimius]

@SethTisue or @heathermiller could you please have a look and say if it looks good to you in the next couple of hours?

[SethTisue]

will do, shortly

[DarkDimius]

ping @SethTisue, it would be nice to get this PR in before @odersky starts his keynote.

the PR on Dotty side is in.

[heathermiller]

Optimistically merging

[DarkDimius]

thanks @heathermiller!

[SethTisue]

I reviewed it just now and didn't find any problems.

except two different forms of your name are used: "Dmitry" and "Dmytro"?

[DarkDimius]

Thx @SethTisue, could you please retweet https://twitter.com/darkdimius/status/869918086052360192 from scala_lang?

Though both variations of my name are correct. I'll make a PR to make my name consistent.

[SethTisue]

could you please retweet https://twitter.com/darkdimius/status/869918086052360192 from scala_lang

looks like somebody else already took care of it