Mark v10.1.0 as latest

[pd4d10]

v10.1.0 has been published near a month, but it seems still be tagged as next

It causes that npm install rescript would not install this version by default.

[cknitt]

The official 10.1 release version will be 10.1.1. We will release it and set it to next when the documentation tasks in rescript-lang/rescript-lang.org#633 have been completed.

[yunti]

Thanks for clarifying

[cknitt]

Actually it will probably be 10.1.2. We released 10.1.1 (still as next) yesterday and discovered a remaining issue with JSX4.

[mununki]

Actually it will probably be 10.1.2. We released 10.1.1 (still as next) yesterday and discovered a remaining issue with JSX4.

What is the remaining issue with JSX4?

[cknitt]

What is the remaining issue with JSX4?

Sorry for being unclear! I meant #5927 which @ryyppy and I discovered and fixed after releasing 10.1.1.

[mununki]

What is the remaining issue with JSX4?

Sorry for being unclear! I meant #5927 which @ryyppy and I discovered and fixed after releasing 10.1.1.

Ah! Nice! 👍

[cknitt]

10.1.2 is now released and marked as latest (even though the documentation tasks in rescript-lang/rescript-lang.org#633 are currently still open).