Skip to content

FutureSelector: More generic interface to concurrent.futures.Future#824

Merged
jan-janssen merged 2 commits intomainfrom
clean_up_future_selector
Sep 14, 2025
Merged

FutureSelector: More generic interface to concurrent.futures.Future#824
jan-janssen merged 2 commits intomainfrom
clean_up_future_selector

Commits

Commits on Sep 14, 2025