HomeIsabelle/Phabricator

Merge pull request #159 from jamesjer/master

Description

Merge pull request #159 from jamesjer/master

Adapt to nonconstant PTHREAD_STACK_MIN in glibc 2.34+

Details

Provenance
dcjmAuthored on Aug 11 2021, 1:43 PM
GitHub <noreply@github.com>Committed on Aug 11 2021, 1:43 PM
Parents
rPOLYML3e27444bea77: Adapt to nonconstant PTHREAD_STACK_MIN in glibc 2.34+
rPOLYML5e417b013b47: Merge branch 'pclayton-add-c-size-conversions'
Branches
Unknown
Tags
Unknown