address issue 200: use stop_callback_traits to support std::stop_token#202
Open
dietmarkuehl wants to merge 3 commits into
Open
address issue 200: use stop_callback_traits to support std::stop_token#202dietmarkuehl wants to merge 3 commits into
dietmarkuehl wants to merge 3 commits into