Changes

#853 (Jan 7, 2023, 10:20:00 AM)

1. Bootstrap following #11874 (commit: f48cc53) — yallop / githubweb

#852 (Jan 7, 2023, 2:51:43 AM)

1. Fix #11869: weak variance for package types (#11874) (commit: b59091f) — noreply / githubweb

#851 (Jan 6, 2023, 4:56:33 PM)

1. fix over-eager label erasure in documentation (#11870) (commit: 4726462) — noreply / githubweb

#850 (Jan 5, 2023, 9:54:23 PM)

1. Disable bytecode publish.ml test on Windows (commit: 4b68380) — david.allsopp / githubweb

#849 (Jan 5, 2023, 1:40:59 PM)

1. Usage warnings can now be disabled label by label. (#11864) (commit: 8712acc) — noreply / githubweb

#848 (Jan 5, 2023, 11:12:07 AM)

1. Always remove asm temp file, unless explicitly kept (#11850) (commit: 1ee5ce1) — noreply / githubweb

#843 (Jan 4, 2023, 3:18:06 PM)

1. Merge pull request #11860 from Octachron/index_for_stdlib (commit: b497c28) — Florian Angeletti / githubweb