diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2022-07-06 22:15:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-06 22:15:35 +0200 |
commit | ff1df71bafb95494ef3d37fe12bacb94b8f8516f (patch) | |
tree | 98fce1abd5941eca3152227d86aaea291e5a41f1 /Makefile | |
parent | 3140fb4b2ede539cf22738b309c122d5150db284 (diff) | |
parent | 3cf46df55b55be583e3d71d46ea940e0a8216481 (diff) | |
download | ocaml-ff1df71bafb95494ef3d37fe12bacb94b8f8516f.tar.gz |
Merge pull request #11404 from gadmm/fix_test_thread_register
Fix rooting logic in testsuite
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions