diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-02-13 09:32:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-02-13 09:32:10 -0500 |
| commit | c78853f8d518233bd52a86d35465dfdd56cc69d4 (patch) | |
| tree | 6d2f33718a49aec985a138825e5f6f353805cacd /CHANGELOG | |
| parent | 7b379c724999c4b415b1c3826db748450c7a6571 (diff) | |
Add a cast to thread_id(), to support more platforms
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions