Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Poly/ML
277f0dd4af8a
Merge pull request #159 from jamesjer/master
277f0dd4af8a
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
Merge pull request #159 from jamesjer/master
Adapt to nonconstant PTHREAD_STACK_MIN in glibc 2.34+
Details
Provenance
dcjm
Authored 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
Event Timeline
GitHub <noreply@github.com> committed
rPOLYML277f0dd4af8a: Merge pull request #159 from jamesjer/master
(authored by
dcjm
).
Aug 11 2021, 1:43 PM
2021-08-11 13:43:43 (UTC+2)
Merged Changes
3e27444bea77
Adapt to nonconstant PTHREAD_STACK_MIN in glibc 2.34+
Author
Jerry James <loganjerry@gmail.com>
Browse Repository
No Builds
No Audits