summaryrefslogtreecommitdiff
path: root/Changes
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2023-04-13 15:53:57 +0200
committerGitHub <noreply@github.com>2023-04-13 15:53:57 +0200
commit4f327608998bb9b86cb20d439f889276f07f8dbb (patch)
tree003c12c5b2a9e8f1063c1663453988b29358058b /Changes
parentd174f90c213180258a9f4931af11c8fffc9ed8df (diff)
parent9bd6f51c253f99bcdde72f7bd7e8d8c5df25d6b9 (diff)
downloadocaml-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