On Monday, 18 July 2016 11:29:16 CEST Richard W.M. Jones wrote:
Binaries should be rebuilt if mllib.cma/mllib.cmxa or
customize.cma/customize.cmxa change.
Fixes commit 1e2877c6f4d1d254026d38b1cac4895d8dba7d5d.
---
The series LGTM.
Thanks,
--
Pino Toscano