Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Proper erase-remove in control_unit_killed
Eagerly waiting for std::erase in C++20. Closes #1191.
- Loading branch information