Changes

#2951 (Jul 21, 2025, 11:09:58 AM)

1. runtime: free the minor heap when leaving STW participants (commit: 8f0d4f4) — gabriel.scherer / githubweb

#2950 (Jul 20, 2025, 7:08:02 AM)

1. Fix missing expectations in typing-poly/poly.ml (commit: ca3d055) — source / githubweb
2. Additional corrections (commit: cc99be1) — source / githubweb
3. Audit unexecuted phrases (commit: 0df7dea) — source / githubweb
4. Audit (commit: bcc6670) — source / githubweb
5. Fix audit (commit: 7edc3e9) — source / githubweb
6. Changes (commit: 0fc202c) — source / githubweb
7. Update changes (commit: 3ca69c1) — source / githubweb

#2949 (Jul 19, 2025, 6:23:17 AM)

1. Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) (commit: 5e89966) — noreply / githubweb

#2948 (Jul 18, 2025, 5:42:47 PM)

1. Removed unused field in package_type (commit: 1aeb967) — samuel.aime.vivien / githubweb
2. Changes (commit: ac43baa) — samuel.aime.vivien / githubweb

#2947 (Jul 17, 2025, 3:49:41 PM)

1. error messages: external with non-syntactic arity (commit: 36ddb17) — Florian Angeletti / githubweb
2. release calendar update (commit: 53699e2) — Florian Angeletti / githubweb

#2946 (Jul 16, 2025, 10:27:12 AM)

1. [minor] indentation fix in errortrace_report (commit: b2aa0fa) — gabriel.scherer / githubweb