#262 (Jan 7, 2021, 3:25:00 PM)

Started 4 yr 7 mo ago

Took 40 min on olive

	Started by GitHub push by xavierleroy (4 times)
	Revision: 1b202ba3356c57c335a7dec2329214384b39919d Repository: https://github.com/ocaml/ocaml refs/remotes/origin/4.11

Changes

Gc.set incorrectly handles the three `custom_*` fields (#10125) (commit: 1b202ba) (details / githubweb)