summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2017-11-29 10:01:36 +0100
committeralainfrisch <alain@frisch.fr>2017-11-29 10:05:45 +0100
commit8136c88aeb334d51249e5699db54509cf7fe0e37 (patch)
treefd33a9f9a7b1f544ec9126985f587697e02bd2e8 /manual
parentec87d13c371ebb6fac6e301cd089df70b735222e (diff)
downloadocaml-fix_7682.tar.gz
Fix bug on unboxed records with one polymorphic field.fix_7682
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions