Skip to content

Ignore NotConnected error in poll_shutdown()#42

Merged
djc merged 1 commit intomainfrom
shutdown-not-connected
Mar 5, 2024
Merged

Ignore NotConnected error in poll_shutdown()#42
djc merged 1 commit intomainfrom
shutdown-not-connected

Commits

Commits on Feb 29, 2024