summaryrefslogtreecommitdiff
path: root/CHANGELOG
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-02-13 09:32:10 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2016-02-13 09:32:10 -0500
commitc78853f8d518233bd52a86d35465dfdd56cc69d4 (patch)
tree6d2f33718a49aec985a138825e5f6f353805cacd /CHANGELOG
parent7b379c724999c4b415b1c3826db748450c7a6571 (diff)
Add a cast to thread_id(), to support more platforms
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions