diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2022-11-11 15:59:04 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-11 15:59:04 +0100 |
commit | a4acab304380b6bc6d478eacd576b08de4d061e6 (patch) | |
tree | 073f51b79841b2180dfca29db62d9084b399b068 /otherlibs | |
parent | e99770d62103ef08c8f6f476b15bf17e3e61bfb9 (diff) | |
parent | f669914c672c8b77f24e96d81c6b7100039086ee (diff) | |
download | ocaml-a4acab304380b6bc6d478eacd576b08de4d061e6.tar.gz |
Merge pull request #11600 from COCTI/fix10664a
Fix #10664 by fixing `Ctype.copy` in `erase_either` mode
Diffstat (limited to 'otherlibs')
0 files changed, 0 insertions, 0 deletions