diff options
| author | François Bobot <francois.bobot@cea.fr> | 2017-02-23 15:26:08 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@gmail.com> | 2017-02-23 15:26:08 +0100 |
| commit | 2b8836cef389b0d77bd8be5d57c2c2b49d71377b (patch) | |
| tree | 8f6df3b0cd2a3f7277c9fbb2d8faf4890a2fa55c /configure | |
| parent | a62dd60dee88f33d67c44dde9320658da131f519 (diff) | |
| download | ocaml-2b8836cef389b0d77bd8be5d57c2c2b49d71377b.tar.gz | |
PR#7279: `Weak.get_copy` doesn't copy custom block (#710)
`Weak.get_copy` don't copy custom block
otherwise finaliser could be run twice and invariant broken
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions