#261 (Jan 5, 2021, 1:16:33 PM)

Started 4 yr 8 mo ago

Took 40 min on olive

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

Changes

Merge pull request #10010 from gasche/extension_constructor_scopes (commit: f3d9e18) (details / githubweb)