Code

Remove parallel_executor_aggregated#372

Code

Merged

bors[bot] merged 1 commit intopika-org:mainpika-org/pika:mainfrom msimberg:remove-parallel-executor-aggregatedmsimberg/pika:remove-parallel-executor-aggregatedCopy head branch name to clipboardAug 16, 2022

+5-532

Commits

Commits on Aug 11, 2022

• Remove parallel_executor_aggregated

  msimberg

  committed
  2176696