Closed minrk closed 6 months ago
avoids closure on Future, which can take a long time to cleanup in starved event loops
closes #1928
wrong button, meant to merge instead of closing
avoids closure on Future, which can take a long time to cleanup in starved event loops
closes #1928