Iris 3.3 release planning
What needs to happen for the release:
-
Add things we want to do to the milestone. -
Do all the things in the milestone. -
Complete the CHANGELOG -
Complete the sed script in the CHANGELOG. -
Release a matching std++. -
Write announcement. -
Release opam packages on coq opam registry. -
Send out announcements.