#268 (Jan 28, 2021, 4:47:57 PM)

Started 4 yr 5 mo ago

Took 44 min on olive

	Started by GitHub push by gasche
	Revision: 751f965f801cfc9ba0c3be12d0fa9edd200d8073 Repository: https://github.com/ocaml/ocaml refs/remotes/origin/4.11

Changes

Merge pull request #9635 from xavierleroy/skiplists (commit: fb79bd8) (details / githubweb)
Refactor skiplist to avoid UB casts (#9660) (commit: 286e21c) (details / githubweb)
More efficient management of code fragments (#9654) (commit: 751f965) (details / githubweb)