summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-03-14 17:16:48 +0100
committeralainfrisch <alain@frisch.fr>2016-03-14 17:16:48 +0100
commitddb2826029dbef11c6950e44118508c696d3f0ad (patch)
treee21fd4bb089c8f7ed7a49d8b294ed55db5948d70 /Changes
parente329753384ac24b0313f280292eaa0f1e16936ce (diff)
downloadocaml-ddb2826029dbef11c6950e44118508c696d3f0ad.tar.gz
Fix #6677: allow to disable warning 39 through an [@ocaml.warning] attribute on the first value binding.
Diffstat (limited to 'Changes')
0 files changed, 0 insertions, 0 deletions