Skip to content

Make DatabaseError.isConnectionClosed functional#187

Merged
gwynne merged 2 commits intomainfrom
report-connection-closed
Dec 13, 2021
Merged

Make `DatabaseError.isConnectionClosed` functional#187
gwynne merged 2 commits intomainfrom
report-connection-closed

Commits