diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-13 15:53:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-13 15:53:57 +0200 |
commit | 4f327608998bb9b86cb20d439f889276f07f8dbb (patch) | |
tree | 003c12c5b2a9e8f1063c1663453988b29358058b /Changes | |
parent | d174f90c213180258a9f4931af11c8fffc9ed8df (diff) | |
parent | 9bd6f51c253f99bcdde72f7bd7e8d8c5df25d6b9 (diff) | |
download | ocaml-4f327608998bb9b86cb20d439f889276f07f8dbb.tar.gz |
Merge pull request #12172 from gasche/major_gc_PAGE_MASK
major_gc.c: avoid using a PAGE_MASK macro
Diffstat (limited to 'Changes')
0 files changed, 0 insertions, 0 deletions