#151 (Jun 5, 2020, 6:13:55 PM)

Started 5 yr 2 mo ago

Took 40 min on olive

	Started by GitHub push by xavierleroy
	Revision: d0051d0092e6dab250018da81d931ab53091f5cf Repository: https://github.com/ocaml/ocaml origin/trunk

Changes

Fix tools/check-typo for mawk 1.3.4 (#9644) (commit: d0051d0) (details / githubweb)