#260 (Dec 26, 2020, 4:42:47 PM)

Started 4 yr 8 mo ago

Took 40 min on olive

	Started by GitHub push by gasche (2 times)
	Revision: 3e3d7f9681e7b8fb49c184f62dc54ef8ffb28c76 Repository: https://github.com/ocaml/ocaml refs/remotes/origin/4.11

Changes

Merge pull request #10096 from gasche/fix-oo-caching-problem (commit: 3e3d7f9) (details / githubweb)