Fix a bug about beman::execution::detail::is_set_stopped#136
Merged
dietmarkuehl merged 1 commit intobemanproject:mainfrom Apr 27, 2025
Merged
Fix a bug about beman::execution::detail::is_set_stopped#136dietmarkuehl merged 1 commit intobemanproject:mainfrom
beman::execution::detail::is_set_stopped#136dietmarkuehl merged 1 commit intobemanproject:mainfrom