Some minor changes: Added support for get_id() (including the id() class, and the this_thread namespace).
Log in to post a comment.
