diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-17 11:21:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-17 11:21:08 +0200 |
| commit | 3dacc75a81e7af3587bd67e7ec36c4c883ab47db (patch) | |
| tree | 252ae9ec27b5b3b206184affccda732f7d46e20e /tools/mantis2gh_stripped.csv | |
| parent | 4f327608998bb9b86cb20d439f889276f07f8dbb (diff) | |
| parent | 804010c470da934961fc0b2c0ee94876aac3a386 (diff) | |
| download | ocaml-3dacc75a81e7af3587bd67e7ec36c4c883ab47db.tar.gz | |
Merge pull request #12171 from askvortsov1/as/extern_state_refactor
extern.c: raise OOM instead of passing null in `caml_output_*` entrypoints
Diffstat (limited to 'tools/mantis2gh_stripped.csv')
0 files changed, 0 insertions, 0 deletions