Closed minrk closed 6 months ago
still warn if cancelled future drops a message (much less likely, but still not impossible!)
closes #1925
still warn if cancelled future drops a message (much less likely, but still not impossible!)
closes #1925