#263 (Jan 11, 2021, 4:31:24 PM)

Started 4 yr 5 mo ago

Took 40 min on olive

	Started by GitHub push by Octachron
	Revision: a32ed94c4f7e34c06e6432efb0a3f5f4e621ba27 Repository: https://github.com/ocaml/ocaml refs/remotes/origin/4.11

Changes

changes: remove duplicated heading (commit: d6884b2) (details / githubweb)
Fix mergeable section flags and use .rodata.cst16 where appropriate (#9981) (commit: f11d385) (details / githubweb)
changes: mention GC fix (commit: a32ed94) (details / githubweb)