-
Guillaume Melquiond authored
Removal of elements and shrinking of poll lists are now performed at separate times, so as to simplify execution logic. In particular, early exit of the main loop is no longer needed.
38bc296d
Removal of elements and shrinking of poll lists are now performed at separate times, so as to simplify execution logic. In particular, early exit of the main loop is no longer needed.