#158 (Jun 8, 2020, 10:49:18 AM)

Started 5 yr 2 mo ago

Took 40 min on olive

	Started by GitHub push by gasche
	Revision: e717512a54349bce4bbbb9590d4fe5a2c671c4e9 Repository: https://github.com/ocaml/ocaml origin/trunk

Changes

Parmatch.exhaust: single-row optimization (commit: a3b66f1) (details / githubweb)