v4.7.0-rc2

Stream: batteries

[François G. Dorais]

Is there a reason why Std is still on v4.7.0-rc1? I thought it would be on v4.7.0-rc2 now.

[James Gallicchio]

i assume it builds fine on both, since mathlib is rc2

[François G. Dorais]

I think it's an omission. @Scott Morrison? I'm asking because I have workflows that trigger when Std updates its toolchain but I just noticed they hadn't triggered for v4.7.0-rc2 yet.

[Kim Morrison]

An omission. Please feel free to PR the bump.