15 Jun
2016
15 Jun
'16
8:01 a.m.
On Tuesday 14 June 2016 18:55:20 Richard W.M. Jones wrote:
Removes this warning:
File "common_utils.ml", line 826, characters 24-28: Warning 40: F_OK was selected from type Unix.access_permission. It is not visible in the current scope, and will not be selected if the type becomes unknown. ---
LGTM. -- Pino Toscano