diff options
| author | Maxime Dénès | 2019-12-18 12:53:03 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-12-18 12:53:03 +0100 |
| commit | 9ecfe459660a5a1e6e59948d92bc5a9fae9e9c36 (patch) | |
| tree | a5fdb7ef196f018023a3611c0203355541a079ed /kernel/declarations.ml | |
| parent | 7c3acd67dbf0c4574820c45d4f918bce58f1b5ee (diff) | |
| parent | 93f45c7349e64b3acfddbb2c4d2767980a3a5b44 (diff) | |
Merge PR #11123: Fix signal polling for OCaml 4.10
Ack-by: ejgallego
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions