diff options
| author | Pierre-Marie Pédrot | 2021-02-26 13:33:21 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-02-26 13:33:21 +0100 |
| commit | c7c155cbaf7516cef98c7a654ee9e0c25a23ab73 (patch) | |
| tree | 54c00cdb7cef7edcb83d360d93a40606199b12f0 /kernel/vmemitcodes.ml | |
| parent | e494ea6c94e191dc8e9faf8ece29e5a57cc08515 (diff) | |
| parent | 6d2c2094648e956352723113a55e8f3963c35ceb (diff) | |
Merge PR #13676: Protect caml_process_pending_actions_exn with caml_something_to_do.
Reviewed-by: gasche
Ack-by: ppedrot
Reviewed-by: xavierleroy
Diffstat (limited to 'kernel/vmemitcodes.ml')
0 files changed, 0 insertions, 0 deletions